There are two possible workflows:
- Working in the assignment repo (and potentially copying over old soltions)
- Working in a master repo and pushing to different remotes
You don't need to do more than accepting the assignment and cloning the repo.
The normal git push pushes your commits to the assignment repo where they are automatically graded.
In order for us to evaluate your solutions we rely on github classroom.
However, we have one common repo so you can keep everything at one place.
This however needs some trickery and we prepared a recipe for you.
First of all, you need to FORK the master repo. Best would be using the github web interface. If you work as a team, add your team members to the repo so you can all push to it. Then you can clone your repo:
git clone [email protected]:<YOURUSERNAME>/RL-exercises.git
cd RL-exercises
(probably you have done this step if you have followed the installation instructions in README.md)
Now you have the skeleton for the individual exercises.
If we publish a new exercise then you need to click on the assignment link and accept it. Remember your repo, mine would be for week 1 automl-edu/week-1-introduction-benjamc .
The important thing is that you work in the master repository but push to the assignment repos. This is how it works:
You first add the remote like so:
git remote add week1 git@github:automl-edu/week-1-introduction-benjamc.git
week1 is the identifier of the remote and maybe you noticed the ID of the assignment repo.
After that, pull possible changes
git pull week1 main --allow-unrelated-histories
Maybe you need to merge and setup the merge:
git config pull.rebase false- add all changes if necessary
git add * git commit -m "Merge week1"
You should be able to push to the new repo: git push week1 main
For the following weeks replace the number of the week remote identifier week1 and your assignment repo.