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

Merging PRs is blocked #137

Closed
Ndiritu opened this issue Oct 12, 2023 · 0 comments · Fixed by #140
Closed

Merging PRs is blocked #137

Ndiritu opened this issue Oct 12, 2023 · 0 comments · Fixed by #140
Assignees
Labels
bug Something isn't working

Comments

@Ndiritu
Copy link
Contributor

Ndiritu commented Oct 12, 2023

Merging PRs to dev is currently blocked after we updated our branch policy changes.

This is due to required status checks being stuck in "pending" e.g. #136.

As per the policy docs this is due to a naming issue in our required status checks. However, this field was populated by data returned from the API using this script

cc @MIchaelMainer

@Ndiritu Ndiritu added the bug Something isn't working label Oct 12, 2023
@Ndiritu Ndiritu self-assigned this Oct 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant