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.
Git
Selected tutorials that make the use of GitHub easy.
0 minute read
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 _index.md (01b50c14)