On Wed, Nov 12, 2008 at 3:44 AM, Jeff King <peff@xxxxxxxx> wrote: > On Tue, Nov 11, 2008 at 07:44:06PM -0500, Kyle Moffett wrote: >> Hmm, I wonder if it would be possible to also add a "detach" variant; >> which would create a detached-HEAD at the current commit when >> automatically receiving a push to the working branch. I have a >> post-receive script that does so right now on a couple repositories. >> It's still a little confusing to someone actively working in the >> repository being pushed to, but it's much easier to explain than the >> current default behavior. > > A neat idea, but I'm not sure what workflow that is meant to support. Basically, I have a remote tree on a fast multicore box used for runs of a test suite on various peoples different branches. When I want somebody to push something for me to test, they push directly to that repo, and when I'm done playing with a previous run I just do: $ git checkout new/branch/to/test $ make clean $ ./configure $ make $ make check Occasionally I notice a bug which I want to temporarily fix to let the build continue, even though I will need to have the author merge that fix as a part of his original buggy patch. If nobody pushes the branch I'm currently testing again, I can "git diff" just fine to see what I had to fix. If somebody pushes to a different branch than the one I'm testing, it's also fine. The inconsistency is pushing to the branch I'm on. So it would be handy to be able to mark that repository as "detach-HEAD-on-push-of-current-branch", which would let me remember where I was, even if that's not where that branch is anymore. There are other ways I could probably do something very similar, but since the config option was being added it seemed it would probably be easy to extend. If nobody else is interested in that behavior, I will just keep maintaining my own hook, but I thought I'd mention it. Cheers, Kyle Moffett -- 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
