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 rebased 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

Popular posts from this blog

How to remove text and logo OR add Overflow on Android ActionBar using AppCompat on API 8? -

html - How to style widget with post count different than without post count -

url rewriting - How to redirect a http POST with urlrewritefilter -