# Pastebin BwBYvyNp
 git remote add USERNAME git@github.com:USERNAME/webidl.git
git fetch USERNAME
git branch [BRANCH-NAME-YOU-WANT-LOCALLY] [USERNAME]/[BRANCH-NAME]
git checkout [BRANCH-NAME-YOU-WANT-LOCALLY]
// do your thing
git commit ...
git push [USERNAME] head