git reset HEAD batch.py