Junye Huang HuangJunye

Get Pull Requests using GH's GraphQL API

How to get Pull Requests data using Github in the browser, or using the API to allow for automating reporting or building in values into a website.

Resources

GitHub GQL API: https://developer.github.com/v4/
Explorer: https://developer.github.com/v4/explorer/
Github community topics - these were used to understand the syntax needed.

Transferring files wirelessly between your 3DS and computer

This is especially useful if you do not have an SD card reader or if you do not want to open the New 3DS' pesky shell.

There are two options: the official MicroSD management (New 3DS only) (Requires Windows) or FTPD (must have CFW or homebrew installed).

FTPD is quicker and easier to use in the long run and can be used on all systems and computers (and phones!); however, MicroSD management is official and can be done with a stock system.

This information applies to the PICO-8 0.1.6 release.

This document is here to help folks with a proficiency in Lua understand the limitations and discrepencies between Lua and PICO-8's Lua.

You can always view the manual or yellowafterlife's extended 0.1.1 manual.

General

anything written in uppercase the PICO-8 editor or .p8 is made lowercase by the editor. → editing the .p8 file directly can work
print(function() end) outputs the string function instead of the string function: 0x0000000.

Default

Powerlevel10k

tmux shortcuts & cheatsheet

start new:

tmux

start new with session name:

tmux new -s myname

Multiple SSH Keys settings for different github account

create different public key

create different ssh key according the article Mac Set-Up Git

$ ssh-keygen -t rsa -C "[email protected]"

	## Create the virtual environment
	conda create -n 'environment_name'

	## Activate the virtual environment
	conda activate 'environment_name'

	## Make sure that ipykernel is installed
	pip install --user ipykernel

	## Add the new virtual environment to Jupyter