Make Inputs.io play nice with pull requests ;)