New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use the now common-becoming 'io.jenkins.plugins' groupId instead #3

Merged

batmat merged 1 commit into jenkinsci:master from batmat:change-groupId

Jan 17, 2019

Member

batmat commented Jan 17, 2019

No description provided.


          Use the now common-becoming 'io.jenkins.plugins' groupId instead

a84a3db

Member Author

batmat commented Jan 17, 2019

no PR build, yolo again.

batmat merged commit 0620335 into jenkinsci:master

batmat deleted the change-groupId branch

January 17, 2019 13:47

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment