Hi Phil, \> > And why is this a problem? > > Is there a process or person watching the server for a new commit? > > Is it not enough to notice that the pushed-to branch has a new HEAD? > Yes, the developers use the git gui to see the graph of branches and commits. The simpler and uniform it is, the better. -Angelo -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html