I am new to a group of researchers, we are using git for version control. We all work on the same machine. There is already a git repository, and everyone else has their own branch. I need to make my own branch named bob.
-bash-4.2$ pwd
/export/home/git/MAS2.5.git
-bash-4.2$ git branch
alice
* master
ton
-bash-4.2$ git checkout -b bob ton
fatal: This operation must be run in a work tree
It has been difficult to find a related question since most git guides concern starting from your own fork, or cloning from some remote to local, but this is all on the same machine. For example, this question: fatal: This operation must be run in a work tree seems to have the solution that the user's repository is bare. But this repository is not bare, Alice and Ton have been working for months in here, right?