Cynthia ๐@cynthia.devThe world if GitHub issues closed on tag/release instead of commit8/8/26, 8:05 pmยท1 repostยท12 likes
Gwenn Le Bihan@gwen.works9 Augor even better, github should allow us to let a actions workflow close it (so it only closes when the commit is actually deployed)1
Cynthia ๐@cynthia.dev9 Augtbf that's already possible, by disabling auto-close and using the github-script action PRs should still be closed immediately, but issues might even benefit from a new intermediary state between open and closed