On Mon, Jul 09, 2012 at 05:55:35PM +0200, Kacper Kornet wrote: > On Mon, Jul 09, 2012 at 05:39:33PM +0200, Jakub Bogusz wrote: > > Is there any way to change mistaken changelog entry after push? > > If you ask about changelog generated during build process and included > in rpm, then yes. If the commit is annotated with git-notes in name > space refs/notes/commits, then this note is used instead of commitlog. > > I will write a small howto describing the process. But you can see an > example in package dosemu. Please look in gitk at commit > 1478030904125f1f0180e144ed4312ae8754f63f
Yes, this should suffice. I assume that overwriting original git history is undesirable (we didn't do it in CVS case either). -- Jakub Bogusz http://qboosh.pl/ _______________________________________________ pld-devel-en mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-devel-en
