+ [2019-08-01T21:20:49Z] R2robot confused
+ [2019-08-01T21:21:09Z] nedbat Shentino: you didn't have a local clone of the repo?
+ [2019-08-01T21:22:09Z] Shentino nedbat: i did, but it's stale
+ [2019-08-01T21:22:26Z] Shentino my local clone also doesn't preserve follows/forks with other github users
+ [2019-08-01T21:22:33Z] Shentino as that is metadata only github proper has

message no. 174396

Posted by glassresistor in #github at 2019-08-01T17:45:49Z

Is there a way to do a fast forward merge using a PR? this used to be the case but now itll only do a Merge commit even if the branch being merged in is "up to date"
+ [2019-09-07T19:17:19Z] agile_prg I figured it out
+ [2019-09-08T04:07:40Z] jud anyone know how to have stdout/stderr persist in CircleCI when someone goes back to the details page of a run? I've been banging my head against the wall for a couple hours trying to figure this out
+ [2019-09-08T07:18:33Z] Viking667 real quick question. I've got a fork of a project, I'm keeping it synchronised with the upstream. I created a branch and have been happily working on that branch, how do I also keep its contents synchronised with upstream? (upstream being in this case dolphinsmalltalk/Dolphin)
+ [2019-09-08T07:19:22Z] Viking667 At the moment, it's 74+/14- with regard to dolphinsmalltalk/master
+ [2019-09-08T08:54:22Z] jud Viking667, locally, git checkout master, git pull upstream master, git checkout yourbranch, git rebase master, git push -f origin yourbranch