Spelling and Grammer Checker
An automated linter to check spelling and grammar on incoming PRs would be nice.
I'm not sure how we can automate and integrate it. Maybe use webhooks to trigger a shell script, which then comments the TeXtidote result to the PR?
Deleting a branch is permanent. It CANNOT be undone. Continue?