Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
A bit more concision in the messages
There are often lots of PRs opened in the last day, perhaps we can use a terser message for those.
- Loading branch information