On Tue, 2012-08-14 at 17:49 +0200, Matúš Kukan wrote:
> I've pushed them myself ;-)
Ah ! :-)
> This happened because I've pushed them and in short time after that,
> I've pushed something else to gerrit.
> But gerrit was still at older commit at that time, so he thought I am
> pushing all of them and only later found out they are merged.
> Sorry, I didn't realize I have to wait when pushing to gerrit.
That's fine good to understand :-) - the hope is that gerrit will
become the authoritative source of git-ness this week, and this then
stops being a problem :-)
Thanks !
Michael.
--
michael.me...@suse.com <><, Pseudo Engineer, itinerant idiot
_______________________________________________
LibreOffice mailing list
LibreOffice@lists.freedesktop.org
http://lists.freedesktop.org/mailman/listinfo/libreoffice
