CI for PRs
It would be very helpful to have CI running automatically for PRs (with authorization by trusted users). Ideally, a trusted user would ping the bot with some command, and the bot would run the build with the PR and report the result.
It seems that Hydra supports this:
Deleting a branch is permanent. It CANNOT be undone. Continue?