git - Push changes to other's bare repository -
in semester, using git students assignment. basically, set bare repository on central server every student, includes skeleton code assignment. students can clone project, assignment, , push changes server.
however, after we've created bare repositories (and students may have pushed changes), found assignment may need changed, , find necessary update every student's bare repository. far, don't have way this.. want know best solution problem, can minimize work (especially students, may not have used git before).
thanks!
i recommend instructing students leave master
branch untouched, may overwritten teachers @ time. changes particular assignment should done on branches, , periodically rebase
d against latest changes in master
make sure they're working latest version of tests , such.
on administrative side, in main working directory can define remote every student's repo: https://stackoverflow.com/a/4255934/54249. when need share changes, force push each student's master
branch should trick.
Comments
Post a Comment