Skip to content
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

Refresh plugin and depends on mysql-api-plugin #66

Merged
merged 1 commit into from
Nov 27, 2023

Conversation

jonesbusy
Copy link
Contributor

Refresh plugin for November 2023

Need admin to restart build

Depends on https://github.com/jenkinsci/mysql-api-plugin/pull/4/files

Testing done

mvn clean install

Submitter checklist

Preview Give feedback

@jonesbusy jonesbusy force-pushed the feature/refresh-november-2023 branch from a10cb1e to 88dd625 Compare November 25, 2023 20:25
@jonesbusy jonesbusy marked this pull request as ready for review November 25, 2023 20:30
@jonesbusy jonesbusy force-pushed the feature/refresh-november-2023 branch from 88dd625 to 0e58e99 Compare November 26, 2023 06:29
@jonesbusy
Copy link
Contributor Author

Hi,

@timja Do you wish I add CD also to the plugin ?

Regards,

@jonesbusy jonesbusy force-pushed the feature/refresh-november-2023 branch from 0e58e99 to 31791f1 Compare November 26, 2023 06:35
@timja
Copy link
Member

timja commented Nov 26, 2023

Hi,

@timja Do you wish I add CD also to the plugin ?

Regards,

Yes please, do you want commit access?

@jonesbusy
Copy link
Contributor Author

Hi,
@timja Do you wish I add CD also to the plugin ?
Regards,

Yes please, do you want commit access?

Sure done here jenkins-infra/repository-permissions-updater#3636

@jonesbusy jonesbusy force-pushed the feature/refresh-november-2023 branch from fe95b89 to 70e10b9 Compare November 27, 2023 10:21
@jonesbusy jonesbusy added the chore a PR that adds to maintenance - used by Release Drafter label Nov 27, 2023
@jonesbusy jonesbusy changed the title Refresh plugin for November 2023 Refresh plugin and depends on mysql-api-plugin Nov 27, 2023
@jonesbusy jonesbusy self-assigned this Nov 27, 2023
@jonesbusy jonesbusy merged commit 3159b9f into jenkinsci:master Nov 27, 2023
@jonesbusy jonesbusy deleted the feature/refresh-november-2023 branch November 27, 2023 11:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore a PR that adds to maintenance - used by Release Drafter
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants