Re: wishlist: make it possible to amend commit messages after push to remote

2015-08-08 Thread Jeff King
On Fri, Aug 07, 2015 at 06:50:52PM -0400, Jarkko Hietaniemi wrote: > Or another way to illustrate my idea: assume a create-once-no-delete > filesystem. > > echo 42 > the_answr.txt > > Oh, darn it... > > ln -s the_answr.txt the_answer.txt > > Now both names still point to the content "42\n". T

Re: wishlist: make it possible to amend commit messages after push to remote

2015-08-07 Thread Jarkko Hietaniemi
On Friday-201508-07 15:38, Johannes Schindelin wrote: Speaking for myself, I actually like it that the entire metadata is part of the commit object, even the commit message. It makes the whole thing more reliable: one cannot claim that the commit does one thing on one day, and the next day all

Re: wishlist: make it possible to amend commit messages after push to remote

2015-08-07 Thread Philip Oakley
From: "Jarkko Hietaniemi" Thanks (also to Jacob Keller), the git-notes might work in some cases. But it's obviously a pasted-on solution, requiring a different usage, e.g. "git log --notes", and whatever other UIs do with it. One more thing, if you know that no one has fetched the branch you j

Re: wishlist: make it possible to amend commit messages after push to remote

2015-08-07 Thread Johannes Schindelin
Hi, On 2015-08-07 19:10, Jarkko Hietaniemi wrote: > But to be honest, I wasn't expecting a miracle cure. I guess the core > of my gripe is just that: how the commit message is part of the SHA. The commit message is not "part of the SHA" but it is part of the content that defines the SHA-1. I

Re: wishlist: make it possible to amend commit messages after push to remote

2015-08-07 Thread Jarkko Hietaniemi
Thanks (also to Jacob Keller), the git-notes might work in some cases. But it's obviously a pasted-on solution, requiring a different usage, e.g. "git log --notes", and whatever other UIs do with it. One more thing, if you know that no one has fetched the branch you just pushed yet, you can amen

Re: wishlist: make it possible to amend commit messages after push to remote

2015-08-07 Thread Jarkko Hietaniemi
On Friday-201508-07 12:59, Junio C Hamano wrote: You need to learn to consider the act of publishing as casting your work in stone to give other people solid foundation to build on. ... If you really "get" it, you wouldn't be complaining about the "impossibility" part;-) I wasn't suggesting t

Re: wishlist: make it possible to amend commit messages after push to remote

2015-08-07 Thread Junio C Hamano
Jarkko Hietaniemi writes: > Not for the first time, and probably not for the last, I pushed a commit > upstream without adding a link for the bug report as I was meaning to. > > Or it could have been... > > - Simple typos. > > - Broken URLs. > > - The following morning / 5 minutes / 5 second late

Re: wishlist: make it possible to amend commit messages after push to remote

2015-08-07 Thread Kevin Daudt
On Thu, Aug 06, 2015 at 08:23:02PM -0400, Jarkko Hietaniemi wrote: > Not for the first time, and probably not for the last, I pushed a commit > upstream without adding a link for the bug report as I was meaning to. > > Or it could have been... > > - Simple typos. > > - Broken URLs. > > - The im

wishlist: make it possible to amend commit messages after push to remote

2015-08-06 Thread Jarkko Hietaniemi
Not for the first time, and probably not for the last, I pushed a commit upstream without adding a link for the bug report as I was meaning to. Or it could have been... - Simple typos. - Broken URLs. - The impossibility of two consecutive commits referring to each other because the older one c