An introduction to curl using GitHub's API
Makes a basic GET request to the specifed URI
curl https://api.github.com/users/caspyin
# This zsh script takes 1 parameter - the repo name. | |
# Remember replace USER with your username! | |
makerepo () { | |
curl -u 'USER' https://api.github.com/user/repos -d \{\"name\":\"$1\"\} | |
# Uncomment the line below to use HTTPS (will prompt for password) | |
# git remote add origin https://github.com/USER/$1.git | |
# Uncomment the line below to use SSH (requires prior setup) | |
# git remote add origin [email protected]:USER/$1.git | |
git push origin master | |
} |
This script will batch clone all repos retrieved from a RESOURCEURL into the current directory that you're in.
This will prompt you for your github password.
Example Resource URLS:
https://api.github.com/user/repos
https://api.github.com/orgs/[ORGNAME]/repos?page=[PAGENUMBER]
An inline image version of Matt Walker's translation of CEDEC 2017 talks by Nintendo. (I've added italic content.)
Covers four talks: