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

Automatically assign milestone on PR creation #8315

Merged
merged 1 commit into from
Feb 2, 2024

Conversation

@joschi joschi changed the base branch from release/4.0.x to release/3.0.x February 2, 2024 21:20
@joschi joschi self-assigned this Feb 2, 2024
@joschi joschi added improvement github_actions Pull requests that update Github_actions code labels Feb 2, 2024
@joschi joschi modified the milestone: 3.0.7 Feb 2, 2024
@joschi joschi marked this pull request as ready for review February 2, 2024 21:32
@joschi joschi requested a review from a team as a code owner February 2, 2024 21:32
@joschi joschi added this to the 3.0.7 milestone Feb 2, 2024
Copy link

github-actions bot commented Feb 2, 2024

Qodana Community for JVM

It seems all right 👌

No new problems were found according to the checks applied

💡 Qodana analysis was run in the pull request mode: only the changed files were checked
☁️ View the detailed Qodana report

Contact Qodana team

Contact us at qodana-support@jetbrains.com

@joschi joschi enabled auto-merge (squash) February 2, 2024 21:33
@joschi joschi disabled auto-merge February 2, 2024 21:35
@joschi joschi enabled auto-merge (squash) February 2, 2024 21:35
Copy link

sonarcloud bot commented Feb 2, 2024

Quality Gate Passed Quality Gate passed

Kudos, no new issues were introduced!

0 New issues
0 Security Hotspots
No data about Coverage
No data about Duplication

See analysis details on SonarCloud

@joschi joschi merged commit f5e04df into release/3.0.x Feb 2, 2024
17 of 18 checks passed
@joschi joschi deleted the assign-milestone-3.0.x branch February 2, 2024 21:41
@joschi joschi changed the title Assign milestone 3.0.x Automatically assign milestone on PR creation Feb 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
github_actions Pull requests that update Github_actions code improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant