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

Posted by negaduck in #github at 2017-07-07T15:04:06Z

hello. When doing a pull request, does name of a branch have to be unique? I mean, what if I create a branch and the upstream repo's maintainer creates a branch with the same name, and I do a pull request, what happens?
+ [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?