Skip to content

Conversation

@rd4398
Copy link
Contributor

@rd4398 rd4398 commented Sep 6, 2024

Creating PR from my fork as discussed

@mergify
Copy link
Contributor

mergify bot commented Sep 6, 2024

⚠️ The sha of the head commit of this PR conflicts with #306. Mergify cannot evaluate rules on this PR. ⚠️

@tiran
Copy link
Collaborator

tiran commented Oct 28, 2025

I'm closing this old PR because it is out of date and we now have a similar feature implemented.

@tiran tiran closed this Oct 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants