Read the bottom of this page Jed sent: http://gitolite.com/gcs/
This detached HEAD business is something that makes Git less usable. It is very flexible, but this is easy to screw up. If we are branching around this is going to screw up right away. So, on this page that Karl is writing, we don't just need instructions for doing things correctly. We need a bunch of diagnostic commands that will tell you what is happening and tell you what is screwed up. Matt -- What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead. -- Norbert Wiener -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20130311/33e9d822/attachment.html>
