Maybe somebody from the bay area could try driving to the Github office on Monday morning. Scott Chacon would probably be good bet.
Emanuele Zattin --------------------------------------------------- -I don't have to know an answer. I don't feel frightened by not knowing things; by being lost in a mysterious universe without any purpose — which is the way it really is, as far as I can tell, possibly. It doesn't frighten me.- Richard Feynman On Mon, Nov 11, 2013 at 9:15 AM, Vojtech Juranek <[email protected]>wrote: > On Sunday 10 November 2013 21:40:28 Luca Milanesio wrote: > > That's really pitty :-( ... force push are dangerous, especially if you > > don't have control over the Git Server. > > I wonder if we can use our all.git [1] somehow (in the worst case scenario > that github doesn't help us). When it try to clone it, it fails with remote > error and when looking into web UI the changes are already synchronized > with > github. But IMHO still worth to investigate, orphan commits could still be > there > > [1] http://git.jenkins-ci.org/?p=all.git;a=summary -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
