Get yourself added to the verifcomp group for CCS github (technically this doesn’t matter, as shared repo is public).
Create your own verifcomp private repo, e.g., github.ccs.neu.edu/yourusername/verifcomp. Add me (dbp) as a collaborator on the repository.
Set the shared repository as upstream, then pull from it and push to your repo:
git init
git remote add upstream [email protected]:verifcomp/19.git
git fetch upstream
git merge upstream/master
git remote add origin [email protected]:yourusername/verifcomp.git
git push -u origin masterWhen assignments come out, or in other cases, you may want to pull from upstream.
git pull upstream masterYou can then merge any conflicts and push to your private repo.
You can’t push to upstream, so don’t worry about doing that accidentally.
Assignments will be submitted via github. For each assignment, there will be an issue on the shared repository created. When you are ready to submit, add a comment with a link to a commit on your private repository. Post User/Repository@SHA, where the most important thing to do by the deadline is SHA (as that’s what actually shows what you turned in by the deadline). Since it’s a private repo, no-one except you and I will be able to follow the link. If it’s before the deadline, feel free to delete the comment and make a new one, or edit the comment. Doing that after the deadline will either be ignored or counted as a late submission (my choice).