git/list[1] front-page[2] threads[3] people[4] search[5] about
 

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

From
JHJarkko Hietaniemi <jhi@iki.fi>
Date
Aug 7, 2015, 17:14 UTC
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.

Previous: Kevin DaudtNext: Philip Oakley
Message 3 of 9 in “wishlist: make it possible to amend commit messages after push to remote”
  1. Jarkko HietaniemiAug 7, 2015
  2. Kevin DaudtAug 7, 2015
  3. Jarkko HietaniemiAug 7, 2015
  4. Philip OakleyAug 7, 2015
  5. Junio C HamanoAug 7, 2015
  6. Jarkko HietaniemiAug 7, 2015
  7. Johannes SchindelinAug 7, 2015
  8. Jarkko HietaniemiAug 7, 2015
  9. Jeff KingAug 8, 2015

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.