API

This is an exmaple of generating a repository from the command-line.

#!/usr/bin/bash

export user=jinghuazhao
export token=$(cat ~/doc/access)
export API=https://api.github.com
export header="Accept: application/vnd.github.v3+json"
export name=Believe

# 1. create the repository
curl -X POST -u $user:$token -H "$header" -d '{"name": "'"$name"'"}' $API/user/repos

# 2. local addition
git init
git config --global user.email "jinghuazhao@hotmail.com"
git config --global user.name "jinghuazhao@github.com"
git config --global url."https://jinghuazhao@github.com".insteadOf "https://github.com"

git remote add origin https://github.com/jinghuazhao/Believe.git
git push --set-upstream origin master
git push -u origin master

At one one, the git remote origin had a typo which is fixed with

git remote remove origin