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 <mreba...@gmail.com> > 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 <d...@fortysix.ch> 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 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. > -- 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.
