bad PRs shouldn't be allowed, but you don't have to be a smug a-hole while reviewing PRs.
hell, that's a GREAT opportunity to get this "bad developer" under your umbrella and start mentoring him to be a better developer.
hell, that's a GREAT opportunity to get this "bad developer" under your umbrella and start mentoring him to be a better developer.
Teaching people cool new ways to code should be fun, not an exercise in showing everyone the size of your ego.