Skip to content

Use maybe for rules_python repo#42

Merged
rjhuijsman merged 2 commits intomainfrom
rjh.maybe
Feb 13, 2026
Merged

Use maybe for rules_python repo#42
rjhuijsman merged 2 commits intomainfrom
rjh.maybe

Conversation

@rjhuijsman
Copy link
Contributor

Without this maybe the rules_python repo will override any prior rules_python specified by the workspace, which is unexpected.

@rjhuijsman rjhuijsman requested a review from onelxj August 20, 2025 09:23
@rjhuijsman rjhuijsman self-assigned this Aug 20, 2025
@aviator-app
Copy link

aviator-app bot commented Aug 20, 2025

Current Aviator status

Aviator will automatically update this comment as the status of the PR changes.
Comment /aviator refresh to force Aviator to re-examine your PR (or learn about other /aviator commands).

This PR was merged manually (without Aviator). Merging manually can negatively impact the performance of the queue. Consider using Aviator next time.


See the real-time status of this PR on the Aviator webapp.
Use the Aviator Chrome Extension to see the status of your PR within GitHub.

Without this `maybe` the `rules_python` repo will
override any prior `rules_python` specified by the
workspace - which is unexpected.
For reasons of presumably-bugginess, Mergequeue is stuck believing in an old required check that's no longer required. Remove its config, so that we can fix this issue manually from its web console.
@aviator-app aviator-app bot added the blocked label Feb 13, 2026
@aviator-app
Copy link

aviator-app bot commented Feb 13, 2026

This pull request failed to merge: some required checks failed. After you have resolved the problem, you should remove the blocked pull request label from this PR and then try to re-queue the PR. Note that the pull request will be automatically re-queued if it has the mergequeue-ready label.

Failed checks: check_code_style (ubuntu-latest)

@rjhuijsman rjhuijsman merged commit 892e399 into main Feb 13, 2026
2 checks passed
@rjhuijsman rjhuijsman deleted the rjh.maybe branch February 13, 2026 14:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants