Re: merge time
- From
Steffen Prohaska <prohaska@zib.de>
- Date
- Jul 30, 2007, 08:09 UTC
- Message-ID
- <577C7529-4C3C-40D4-B86A-8B3CE888C997@zib.de>
- In-Reply-To
- <20070730074937.GT20052@spearce.org>
On Jul 30, 2007, at 9:49 AM, Shawn O. Pearce wrote:
> git-force-commit: > > git config --global alias.force-commit \ > '! git update-ref HEAD $(echo MARK | git commit-tree HEAD -p HEAD)'
I needed to slightly modify it
git config --global alias.force-commit \
'! git update-ref HEAD $(echo MARK | git commit-tree $(git cat-
file commit HEAD | grep ^tree | cut -b 6-) -p HEAD)'> But you didn't hear it from me. ;-)
I'll tell no-one ;)
Steffen