GitHub releases, automatically.
Follow any public repo. New releases post themselves, and edits on GitHub update the post.
Patchr posts clean, formatted patch notes to your Discord server, from GitHub releases or notes you write.
Point Patchr at a public repo and a channel with /feed add github. That’s the whole setup.
A few minutes later the notes land in your channel, formatted, with badges for what’s new, fixed and changed.
Edit a release and its post updates to match. Pull one, and its post turns grey and says so.
Follow any public repo. New releases post themselves, and edits on GitHub update the post.
Not on GitHub? Write the notes in a form, check a private preview, then post.
Sections like New, Fixes and Changes get their own badge, so people find what they care about.
Ping an opt-in role, and posts in announcement channels reach every server that follows them.
By default they need Manage Server. You can change that in Server Settings, under Integrations.
/feed add github/feed list/feed edit/feed remove/patch/settings/helpPatchr is open source under the MIT licence. Add your bot token and start it with Docker.
curl -O https://raw.githubusercontent.com/anthonyf2312/patchr/main/compose.yamlcurl -o .env https://raw.githubusercontent.com/anthonyf2312/patchr/main/.env.exampledocker compose up -d # after adding your tokens to .envYes. It costs nothing and there’s nothing to buy.
Members with Manage Server, by default. Change it in Server Settings, under Integrations, then Patchr.
No. Patchr doesn’t read messages, member lists or direct messages, and it doesn’t ask Discord for the permissions that would let it.
Only what it needs to post: your settings, your feeds and a record of each post. Remove Patchr and everything it stored for your server is deleted. The privacy policy has the details.
Yes. It’s MIT licensed and ships with a Docker setup. See above.
In the support server(opens in a new tab). Bug reports and ideas are welcome there too.