When I run the command
git remote -v
I get the url without that slash.
origin https://github.com/openwebwork/webwork2.git (fetch) origin https://github.com/openwebwork/webwork2.git (push)
I set that by
git remote set-url origin https://github.com/openwebwork/webwork2.git
I do not know where to find the file to recheck spelling.