2023-10-02
🔗I had an idea today for a Github bot that you can enable to automatically reply to new PRs with some message, for when you’re on vacation or otherwise unable to look at it for a while.
The downside, which any seasoned open source maintainer will sense, is the implication that at any other time you will always respond promptly.