|
|
|
|
|
|
|
|
|
Edit file, and push changes from local repo to GitHub
|
|
|
|
|
|
Tips for using github codespaces when grading
|
|
Instructions for instructors to setup the github classroom and corresponding repository
|
|
|
|
How to configure your GitHub credentials inside the Icarus server.
|
|
|
|
|
|
Setting SSH Keys with GitHub
|
|
MIPS: Bitwise operations (review)
|
|
Functions, variable scope
|