What I learned today: local branches don't get propagated to the master repository on a 'push' unless there's some remote tag that refers to them.
I had heretofore assumed that I could use 'git push' in much the same way as 'svn commit' to guarantee, e.g., that when leaving work nothing was "trapped" on that machine. IIUC, the behavior of local branches means that this isn't so. Question: is there some easy way to ensure that the local repository is fully mirrored on the server? Aside from - not creating branches, or - hard-coding the list of branches so that they can all be checked? John
smime.p7s
Description: S/MIME cryptographic signature
_________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
