(b) even harder to get them to actually apply it
Do they have to be nagged to merge pull requests or what?
Do they have to be nagged to merge pull requests or what?