nathan@saffron:~/code/dataset$ git pull origin master
From github.com:radioML/dataset
* branch master -> FETCH_HEAD
Already up-to-date.
nathan@saffron:~/code/dataset$ git push origin master
ERROR: Repository not found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
nathan@saffron:~/code/dataset$ git remote -v
gh-https https://github.com/radioML/dataset.git (fetch)
gh-https https://github.com/radioML/dataset.git (push)
origin git@github.com:radioML/dataset.git (fetch)
origin git@github.com:radioML/dataset.git (push)