On Thu, Jan 16, 2020 at 07:51:37PM +0100, Gerald Pfeifer wrote: > It turns out I fumbled the commit message on the commit below to wwwdocs. > > Instead of > Redirect cvswrite.html to gitwrite.html instead of svnwrite.html. > I committed this with a message of > Redirect cvs.html to git.html instead of svn.html. > and pushed already. > > In CVS I could manually edit the ,v files; in SVN I believe we did > not want to allow for fixing commit messages a posteriori -- how > about our Git setup? Policy-wise and practically?
In SVN one could do it and various people have done it (I see 96 svn:log changed mails since we started using svn in gcc-cvs). In Git, one can do it before pushing (git rebase -i), but it is highly undesirable to do it after pushing (for some branches disallowed completely, for wwwdocs maybe not but it will break everybody else who has checked it out, including sourceware's automatic copy). Jakub