Roman Joost (Monday, 21. March 2011)
> Are you sure that this works on a pushed commit?
No (of course) -- I've never tried. Let's see what happens... ;-)
Ulf
--
Wer zufrieden ist mit der Welt, wie sie ist, hat alle mit auf
dem Gewissen, die Grund haben, damit unzufrieden zu sein.
Hi Ulf,
On Sun, Mar 20, 2011 at 06:39:35PM +0100, Ulf-D. Ehlert wrote:
> Vitaly Lomov (Saturday, 19. March 2011)
> > Hi,
> > Is it possible to change the commit comment after 'git push'?
> > I had it right, but noticed that my username was wrong, did 'git
> > commit --amend', but it didn't do what
Vitaly Lomov (Saturday, 19. March 2011)
> Hi,
> Is it possible to change the commit comment after 'git push'?
> I had it right, but noticed that my username was wrong, did 'git
> commit --amend', but it didn't do what I expected, so I committed
> with the wrong comment.
> Vitaly
It looks like it's
Hi Vitaly,
On Sat, Mar 19, 2011 at 06:25:14AM -0700, Vitaly Lomov wrote:
> Is it possible to change the commit comment after 'git push'?
Not that I know of.
> I had it right, but noticed that my username was wrong, did 'git
> commit --amend', but it didn't do what I expected, so I committed with
Hi,
Is it possible to change the commit comment after 'git push'?
I had it right, but noticed that my username was wrong, did 'git commit
--amend', but it didn't do what I expected, so I committed with the wrong
comment.
Vitaly
___
Gimp-docs mailing list
