My colleagues and I created an assignment on Github Classroom that my high school students been assigned, and have already started working on. However, I noticed a few bugs in the template I provided.
I’d like to be able to fix them in my template repo, and have students pull these changes.
However, I’d like students to pull these changes through the web interface instead of the command line (many don’t have access to a shell due to district policy).
Is there a way for students to pull my changes in the template repo into their repository?
Failing that, is there a simple way I can write a script that updates things for them?