Re: disallowing push to currently checked-out branch
- From
Sergio Callegari <sergio.callegari@gmail.com>
- Date
- Feb 17, 2009, 00:41 UTC
- Message-ID
- <499A07C4.5000908@gmail.com>
- In-Reply-To
- <alpine.DEB.1.00.0902170112580.10279@pacific.mpi-cbg.de>
Johannes Schindelin wrote:
> Of course, you can go on and on and on with the detached HEAD ide, but so > far you haven't convinced me that this is a sensible thing to do. >
I will not... it's time to sleep where I am! And I am just a user of git and you are a developer, which makes me think that you might know much better. But the exchange was insightful, thanks.
Rather, I'll turn again the question...
Let us assume that I am working on branch B and that my worktree is based on commit XYZ. Let's also assume that someone pushes behind my shoulders and moves the tip of B (or even deletes B alltogether) either in one or in multiple pushes. Is there an easy way so that I can now find out at what commit (XYZ) I was before the push(es)? That would already make me quite satisfied, because with this I can write wrappers or aliases that can check the HEAD against that commit on every status/commit operation and warn the user just in case.
Sergio
> Ciao, > Dscho > >