This way, developers don't have to edit a file and remember to change it back before submitting a pull request: that seems error-prone.
Anish Athalye