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
signature.asc
Description: This is a digitally signed message part.
