Skip to content

MAINT: Force PRs to be labeled properly#1183

Merged
larsoner merged 6 commits intosphinx-gallery:masterfrom
larsoner:label
Aug 18, 2023
Merged

MAINT: Force PRs to be labeled properly#1183
larsoner merged 6 commits intosphinx-gallery:masterfrom
larsoner:label

Conversation

@larsoner
Copy link
Copy Markdown
Contributor

This should come back green, then once I add a label it should change to green. I'll add it to the required checks.

This time I only have to relabel two PRs, though, which is already pretty great!

@larsoner larsoner enabled auto-merge (squash) August 18, 2023 13:02
@larsoner larsoner merged commit b45c4d2 into sphinx-gallery:master Aug 18, 2023
@larsoner larsoner deleted the label branch August 18, 2023 14:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant