On Fri, May 7, 2010 at 4:29 AM, Michael Sperber <sper...@deinprogramm.de> wrote: > > Thanks - this helps considerably. > > However, it's long on technical information on how one could work with > git, and short on policy, i.e. how you want us to use git for PLT. > Immediate questions:
Fortunately, these are questions that Eli has talked about with people already. > - Should we merge or rebase? Feel free to rebase your local changes, but the server rejects history modifications of anything that's been pushed. > - Should we push directly to origin/master, or somewhere else, and you > do the pulling? (Push doesn't scale indefinitely.) Everyone pushes to `origin/master', just as with SVN. > - For longer-lived branches that we want others to see, do you want us > to use named branches within the main repo, or user repositories? Eli wants us to use repositories under usr, via the `fork' command. -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
