(and/or tell me if you prefer I redo a pull with one clean commit only)