Why Your PR Should Be Running Even if Everyone Else Isn’t