Sorry to all about that, my bad. The situation is back to normal. I rebased my recent patches on top of 7c058521 and forced the push. I will be much more careful with my git workflow in the future. Raphaël <div class="gmail_quote">On Thu, May 31, 2012 at 5:34 PM, David Lutterkort <<a href="mailto:lutter@redhat.com" target="_blank">lutter@redhat.com</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> Hi, a few commits were pushed on the master branch without any commit messages by mistake. To fix that, I will ask #fedora-admin to reset the master branch to commit 7c058521 I know modifying public branches is nasty, but seeing how we now have 10 commits without any comment, I hope it won't be too upsetting. David _______________________________________________ augeas-devel mailing list <a href="mailto:augeas-devel@redhat.com">augeas-devel@redhat.com</a> <a href="https://www.redhat.com/mailman/listinfo/augeas-devel" target="_blank">https://www.redhat.com/mailman/listinfo/augeas-devel</a> </blockquote></div>