Skip to content

Conversation

@Alizter
Copy link
Collaborator

@Alizter Alizter commented Oct 29, 2025

These were added but it makes it difficult to change later. Let's always test the default behaviour and opt in when needed. The direction in #11775 won't be followed anyway.

@Alizter Alizter enabled auto-merge October 30, 2025 09:21
@Alizter Alizter merged commit 172dfbb into ocaml:main Oct 30, 2025
26 checks passed
@Alizter Alizter deleted the push-sunuzwqktqqn branch October 30, 2025 09:39
@Alizter Alizter mentioned this pull request Nov 6, 2025
1 task
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