Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: Can we all quietly agree to fix this commit log?

On 9 November 2013 03:20, Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
> I know all the git doc says never to amend a commit after pushing because
> it breaks clones, but I find this version number typo really bothersome.
>
> Is there some procedure we can figure out that gets around that?
>
> commit 375115c7dfd6dff576915d25fe2ecdd381dd9d81
> Author: Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>
> Date:   Wed Nov 6 19:25:07 2013 +0000
>
>     unposted: updates for 4.0.2-test-1.
>     Update references to 4.0.2 to 4.0.3.
>     Additional mod_export declarations.
>     Additions to .distfiles.

I would highly recommend not doing this. If it really bothers you, you
can add a local note to the commit by
git notes add zsh-5.0.2-test-1
(this can also be pushed but notes don't get pulled by default anyway
(refs/notes/commits))

-- 
Mikael Magnusson
Messages sorted by: Reverse Date, Date, Thread, Author