What is git bash to a file