Skip to content

Add Michael as codeowner for store crate #7667

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

Merged
merged 1 commit into from
Jun 30, 2025

Conversation

michaelsproul
Copy link
Member

Proposed Changes

I'm adding myself as a codeowner for the store crate so that I can more easily keep track of database-related PRs.

@michaelsproul michaelsproul added ready-for-review The code is ready for review low-hanging-fruit Easy to resolve, get it before someone else does! infra-ci labels Jun 30, 2025
@michaelsproul michaelsproul requested a review from jimmygchen June 30, 2025 05:05
Copy link

mergify bot commented Jun 30, 2025

Some required checks have failed. Could you please take a look @michaelsproul? 🙏

@mergify mergify bot added waiting-on-author The reviewer has suggested changes and awaits thier implementation. and removed ready-for-review The code is ready for review labels Jun 30, 2025
@jimmygchen jimmygchen added the skip-ci Don't run the `test-suite` label Jun 30, 2025
@jimmygchen jimmygchen added ready-for-merge This PR is ready to merge. and removed skip-ci Don't run the `test-suite` waiting-on-author The reviewer has suggested changes and awaits thier implementation. ready-for-merge This PR is ready to merge. labels Jun 30, 2025
Copy link

mergify bot commented Jun 30, 2025

This pull request has been removed from the queue for the following reason: pull request dequeued.

Pull request #7667 has been dequeued. The pull request rule doesn't match anymore. The following conditions don't match anymore:

  • label=ready-for-merge.

You should look at the reason for the failure and decide if the pull request needs to be fixed or if you want to requeue it.
If you do update this pull request, it will automatically be requeued once the queue conditions match again.
If you think this was a flaky issue instead, you can requeue the pull request, without updating it, by posting a @mergifyio requeue comment.

@jimmygchen jimmygchen added the ready-for-merge This PR is ready to merge. label Jun 30, 2025
mergify bot added a commit that referenced this pull request Jun 30, 2025
mergify bot added a commit that referenced this pull request Jun 30, 2025
Copy link

mergify bot commented Jun 30, 2025

This pull request has been removed from the queue for the following reason: checks failed.

The merge conditions cannot be satisfied due to failing checks:

You can check the last failing draft PR here: #7668.

You may have to fix your CI before adding the pull request to the queue again.
If you update this pull request, to fix the CI, it will automatically be requeued once the queue conditions match again.
If you think this was a flaky issue instead, you can requeue the pull request, without updating it, by posting a @mergifyio requeue comment.

mergify bot added a commit that referenced this pull request Jun 30, 2025
mergify bot added a commit that referenced this pull request Jun 30, 2025
@mergify mergify bot merged commit 25ea8a8 into sigp:unstable Jun 30, 2025
54 of 55 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
infra-ci low-hanging-fruit Easy to resolve, get it before someone else does! ready-for-merge This PR is ready to merge.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants