{"body":" git remote add USERNAME git@github.com:USERNAME/webidl.git\ngit fetch USERNAME\ngit branch [BRANCH-NAME-YOU-WANT-LOCALLY] [USERNAME]/[BRANCH-NAME]\ngit checkout [BRANCH-NAME-YOU-WANT-LOCALLY]\n// do your thing\ngit commit ...\ngit push [USERNAME] head\n","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/BwBYvyNp","modified":1495181109,"id":"BwBYvyNp","size":247,"lines":7,"own_paste":false,"theme":"","date":1495181109}