+ [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. 170877

Posted by mekeor in #github at 2019-03-25T00:59:20Z

yes, there is this assumption. and then there is the belief that everything has to be connected, even if the user doesn't want it to be. it's the platform logic. it's the opposite of old unix philosophical rule "Write programs that do one thing and do it well."
+ [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?