It seems like a lot of repositories are back to previous revisions. git-client-plugin's master now points to 1.4.3-SNAPSHOT whereas it should be pointing to 1.4.7-SNAPSHOT...
Vincent 2013/11/10 Marcelo <[email protected]> > Domi, maybe it's related to this mail > http://jenkins-ci.361315.n4.nabble.com/Jacoco-plugin-repo-reset-tt4680030.html > . > > Regards > > Marcelo Rebasti > > > On Sun, Nov 10, 2013 at 12:47 PM, domi <[email protected]> wrote: > >> Hi everyone and specially Luca, >> >> yesterday something strange has happen to many Jenkins repositories on >> GitHub (more then 50 Repos)… >> Luca Milanesio seems have pushed to many many repositories without really >> changing anything - at least I have not seen anything changed. >> If you look at the activity stream/feed at >> https://github.com/organizations/jenkinsci and go back to yesterday, >> you’ll find many pushes to many different repositories. >> Maybe I’m wrong and someone has an easy explanation for this? >> But for me this looks like someone did not really now how Git/GitHub >> works and accidentally pushed to every single repo - maybe someone else >> could also have a look and see if there is something broken now? >> >> regards Domi >> >> -- >> 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. >> > > -- > 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. > -- 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.
