GitHub: remote git repositories

For this assignment you will need to create a remote git repository on GitHub1 and synchronize local changes with this remote repo. Some of the steps below require to use git commands or GitHub functionality that were not explicitly covered in the lectures, so be creative and search online to find the commands and GitHub features you need.

Follow the steps below:

  1. If you don’t have an account on GitHub yet, create one2. It’s totally free!
  2. Create a new private repository on GitHub. You’re free to choose the name of this new awesome project.
  3. Find out which git command you can use to get a local copy (i.e. on your own computer) of the remote repo you just created. Execute this command.
  4. Add a LICENSE file to the local repository (i.e. not on GitHub, but on your own computer). In this LICENSE file, write your name and the current year.
  5. Execute the proper git command(s) to include the new LICENSE file in your local git history.
  6. Transfer the updated local history to the remote repository on GitHub.
  7. Check in the web interface of GitHub that your LICENSE file and its contents are now visible. You can also look into the remote history, and should find your commit there. If anything went wrong, try again, until you find your file on GitHub. In any case don’t use the “Add file” button on GitHub to add files directly to the remote repo.
  8. Figure out how to add a collaborator to your private repo on GitHub. Add the GitHub user with user name hdbeukel.
  9. You’re done! In the solution window below, simply fill in the full URL to your private GitHub repo. Nobody will be able to access this repository except yourself and the collaborator you added.

Your submission is not automatically tested on Dodona. Feedback will be provided manually after the submission deadline.