+ [2019-03-25T20:42:12Z] CarlFK carl@twist:~/src/HDMI2USB-mode-switch$ git branch ... * openocd-retry
+ [2019-03-25T20:42:15Z] CarlFK isn't that that?
+ [2019-03-25T20:51:46Z] rindolf CarlFK: use git push origin openocd-retry
+ [2019-03-25T20:59:39Z] CarlFK yay. thanks. except I forgot to commit both files. how do I ..amend?
+ [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.

message no. 170875

Posted by mekeor in #github at 2019-03-25T00:51:45Z

having to login into github is excluding. i don't want to earn points. if it was just about interactivity, it could work without github.
+ [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?)
+ [2019-03-27T09:49:19Z] Jojero Hi! If I covert my Pro GitHub user account to Organizational do I need to pay full?