Push and Pull requests no longer get interrupted by silly errors.