Hi Kohsuke, that's really good news ! I would like once again to publicly apologise with all the Jenkins Developers Community for the inconvenience caused by my forced push on the 10th of November. The problem was caused by the unfortunate combination of fatal mistakes on my side: not the tool's (Git, Gerrit or GitHub) fault ... just a very bad day of mistakes from me :-(
A big thank to all the people that cooperated and supported the recover the correct point on 186 repositories (!) including Kohsuke and Nathan. I am keen to help in the post-mortem report and analysis in order to help the community to avoid that similar situations would happen in the future. Thanks again for your understanding. Luca. On 13 Nov 2013, at 02:13, Kohsuke Kawaguchi <kkawagu...@cloudbees.com> wrote: > > I merged the three repositories and pushed new master. > > > puppet-jenkins >> view-job-filters-plugin >> xvnc-plugin > > This concludes the data recovery. All the commits have been restored, all the > branches have been updated, and there's no action needed by anyone. > > That said, it'd be great if people can test my claim by trying to find any > missing commits, to boost our confidence level in the recovery process (or > find missing commits while we can still save them.) > > I'll work with Luca to write a summary on the incident and the data recovery. > > > -- > Kohsuke Kawaguchi | CloudBees, Inc. | http://cloudbees.com/ > Try Jenkins Enterprise, our professional version of Jenkins > > -- > 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 jenkinsci-dev+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/groups/opt_out. -- 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 jenkinsci-dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
