Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@ewjoachim
Copy link
Member

Reverts #532 because of #554

@ewjoachim ewjoachim enabled auto-merge June 4, 2025 20:45
@github-actions
Copy link

github-actions bot commented Jun 4, 2025

End-to-end public repo

Admin commands cheatsheet:

  • /e2e (in approved PR review body): Trigger end-to-end tests on external contributions
  • /invite (in comment): Invite the author & admins to the end-to-end private repo

@ewjoachim ewjoachim disabled auto-merge June 4, 2025 20:54
@ewjoachim ewjoachim merged commit 7078413 into main Jun 4, 2025
2 of 3 checks passed
@ewjoachim ewjoachim deleted the revert-532-three-dot-comparison branch June 4, 2025 20:55
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