Hi, Can somebody help us investigate what could have happened with the Jacoco plugin repo?
https://github.com/jenkinsci/jacoco-plugin We've lost several commits. I created a release yesterday, the tag is still there (1.0.14) with the latest commits, and my local repo still contains the latest commits. There were commits by others after the release, but none of them was a reset. Thanks, Ogi -- 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.
