git_interface.py: fixed typo