We provide a practical guide on how to do GitHub pull requests from the commandline and the GUI for this Web site.
Selected tutorials that make the use of GitHub easy.
Scary SSH Keys are Now a Breeze
A brief tutorial on the installation and usage of the GitHub gh CLI
Using the student hid directory
Last modified August 13, 2021 : Update _index.md (01b50c14)