From: Jarkko Hietaniemi <jhi@iki.fi>
Date: Fri, 07 Aug 2015 17:14:36 GMT
Subject: Re: wishlist: make it possible to amend commit messages after push to remote
Message-ID: <55C4E77C.8070402@iki.fi>
In-Reply-To: <20150807160924.GA4185@ikke.info>

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 amend the commit and force-push it without any
> problems (I'd sugget using --force-with-lease).

In my particular case, not going to work, multiple CI engines jump
hungry at every commit.