Date: prev next · Thread: first prev next last
2012 Archives by date, by thread · List index



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.meeks@suse.com  <><, Pseudo Engineer, itinerant idiot


Context


Privacy Policy | Impressum (Legal Info) | Copyright information: Unless otherwise specified, all text and images on this website are licensed under the Creative Commons Attribution-Share Alike 3.0 License. This does not include the source code of LibreOffice, which is licensed under the Mozilla Public License (MPLv2). "LibreOffice" and "The Document Foundation" are registered trademarks of their corresponding registered owners or are in actual use as trademarks in one or more countries. Their respective logos and icons are also subject to international copyright laws. Use thereof is explained in our trademark policy.