+ [2019-03-25T21:01:33Z] CarlFK git commit hdmi2usb/modeswitch/boards.py --amend; git push origin openocd-retry ... hint: Updates were rejected because the tip of your current branch is behind its remote counterpart.
+ [2019-03-26T17:22:45Z] sine0 when you fork a gist does it become a gist on your profile ?
+ [2019-03-26T19:09:06Z] sine0 one at a time please.
+ [2019-03-26T19:22:17Z] bensh hey there is not much room on this boat
+ [2019-03-26T21:20:07Z] cyberpear anyone know how to fetch previous versions of a PR from the command line? (like the version before a force-push?)

message no. 170898

Posted by cyberpear in #github at 2019-03-26T21:20:07Z

anyone know how to fetch previous versions of a PR from the command line? (like the version before a force-push?)
+ [2019-03-27T09:49:19Z] Jojero Hi! If I covert my Pro GitHub user account to Organizational do I need to pay full?
+ [2019-03-27T09:49:26Z] Jojero Again-
+ [2019-03-28T03:59:33Z] jvava I'm curious of how do you feel them make a project that's deviating from tech topic,
+ [2019-03-28T04:01:04Z] jvava I have thought that github should host only project, code, source, etc, but and I notice there are also others deviating from that
+ [2019-03-28T16:05:30Z] snfgf setting up public key identification, i have id_rsa.foo, and id_rsa.bar; when i clone a repo from github via ssh, how do i say, "use id_rsa.bar"?