Skip to content

Conversation

@erlend-aasland
Copy link
Contributor

@erlend-aasland erlend-aasland commented Apr 28, 2023

@AlexWaygood
Copy link
Member

AlexWaygood commented Apr 28, 2023

@erlend-aasland remember that the docs workflows aren't "required" CI checks right now, so "auto-merge" is "insta-merge" on a docs PR until we change that!

@erlend-aasland erlend-aasland deleted the 3.11-fixup-executemany branch April 28, 2023 08:07
@erlend-aasland
Copy link
Contributor Author

Oops, thanks for the heads-up!

@erlend-aasland erlend-aasland restored the 3.11-fixup-executemany branch April 28, 2023 08:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs Documentation in the Doc dir skip news

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants