+ [2017-07-07T19:07:56Z] sebboh wrkrcoop: I don't know. You shouldn't distribute an image like that, obviously...
+ [2017-07-07T19:09:13Z] sebboh you can have more than one set of keys. These tokens that jasonaowen mentioned might be a better solution, if you're doing something akin to getting an application to push to a repo... But I don't know anything about the tokens.
+ [2017-07-07T19:10:53Z] sebboh I have multiple virtual machines, not docker... and each one has a sebboh user, and each sebboh user has an ssh id with an associated public key. I submit all those public keys to github, so any of my accounts on any of my machines can push or checkout code. Sometimes I go into the github profile interface and delete old ones that haven't been used in a while.
+ [2017-07-07T21:09:49Z] AnjiBaiCha Is there an easy to way to get GitHub Pages to serve a site from a subfolder in the repo (like /dist) instead of from the root? I have to copy all my build files to the root and commit them there, it's super messy and annoying to have them there IMO.
+ [2017-07-07T22:56:32Z] preaction the /docs folder exists for this purpose

message no. 170118

Posted by sebboh in #github at 2017-07-07T19:02:44Z

wrkrcoop: I push to github using ssh, and I have a public key that was generated on my workstation and then copied into my github profile, so when I do a git push etc, ssh checks my private key, sees it matches the public key I've stored, and lets me continue.
+ [2017-07-12T23:08:07Z] hehehe hey hey
+ [2017-07-12T23:08:41Z] hehehe after git checkout -b origin/v3/master
+ [2017-07-12T23:08:50Z] hehehe and git submodule init / update
+ [2017-07-12T23:09:08Z] hehehe what else is needed to ensure local box got v3/master code?
+ [2017-07-12T23:09:12Z] hehehe git pull again?