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

Posted by sebboh in #github at 2017-07-07T16:49:21Z

There's a silly project that uses the github web interface, primarily, to collect user contributions. There's a collection of funny phrases and users may submit more by using the github web interface to edit a json file. But, the json file is too big, so it can't be edited. We can split it up... What is the max file size for editing a json document?
+ [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?