How to repair a pull