On linux, the solution for me was to use these command lines in a terminal (outside of julia):
git config --global user.name "John Doe"
git config --global user.email johndoe@example.com
On linux, the solution for me was to use these command lines in a terminal (outside of julia):
git config --global user.name "John Doe"
git config --global user.email johndoe@example.com