Selected tutorials that make the use of GitHub easy.

Git pull requst

We provide a practical guide on how to do GitHub pull requests from the commandline and the GUI for this Web site.

Adding a SSH Key for GitHub Repository

Scary SSH Keys are Now a Breeze

GitHub gh Command Line Interface

A brief tutorial on the installation and usage of the GitHub gh CLI

GitHub hid Repository

Using the student hid directory

Last modified August 13, 2021 : Update (01b50c14)