$ git remote add user http://github.com/user/robot-programming
$ git fetch --all
Fetching origin
Fetching user
Username for 'https://github.com': user
Password for 'https://user@github.com':
remote: Repository not found. fatal: repository 'https://github.com/user/robot-programming/' not found
error: Could not fetch user
とエラーがでます.