Improve and clarify `User can push` violations
The policy generating the User can push
violations suffer from a few limitations:
- They don't give details on which users can push
- They lack flexibility for some users being permitted (like bots updating repos)
- They are not easily actionable
- They generate a lot of violations
This issue tracks how we can improve these violations to reduce their number considerably.
/cc @byronboots