Skip to content

Add merge_group #377

New issue

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

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

Already on GitHub? # to your account

Merged
merged 1 commit into from
Sep 16, 2024
Merged

Add merge_group #377

merged 1 commit into from
Sep 16, 2024

Conversation

lucacome
Copy link
Contributor

@lucacome lucacome commented Sep 16, 2024

Proposed changes

Adds event for merge queue

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING doc
  • I have added tests that prove my fix is effective or that my feature works
  • I have checked that all unit tests pass after adding my changes
  • I have updated necessary documentation
  • I have rebased my branch onto main
  • I will ensure my PR is targeting the main branch and pulling from my branch from my own fork

@lucacome lucacome requested a review from a team as a code owner September 16, 2024 21:39
@github-actions github-actions bot added the chore Pull requests for routine tasks label Sep 16, 2024
@lucacome lucacome enabled auto-merge (squash) September 16, 2024 21:46
@lucacome lucacome merged commit db5ae1e into main Sep 16, 2024
13 checks passed
@lucacome lucacome deleted the chore/merge-group branch September 16, 2024 21:56
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
chore Pull requests for routine tasks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants