At the end of the Git Section, there are instructions create a PR and Merge it to the main repo. Tech Leads are unable to actually do the merge operation creating some confusion at how to sync fork with the upstream repo.
Decision:
Add a note to inform the Tech Leads that the PR should actually be merged into main repo, else they will need to set the repo back for the next class. Explain to the students what would happen vs actually doing it.
Background:
At the end of the Git Section, there are instructions create a PR and Merge it to the main repo. Tech Leads are unable to actually do the merge operation creating some confusion at how to sync fork with the upstream repo.
Decision:
Add a note to inform the Tech Leads that the PR should actually be merged into main repo, else they will need to set the repo back for the next class. Explain to the students what would happen vs actually doing it.