+[2017-01-28T13:35:19Z]guest34561. visit a forked repo, or the main upstream repo for your fork +[2017-01-28T13:35:52Z]guest34562. click Commits and then click the "<>" button to 'browse repo at this point in history' +[2017-01-28T13:36:17Z]guest3456ie. 1 commit prior to HEAD, but still ahead of your tip +[2017-01-28T13:36:49Z]guest34563. click the 'New pull request' button next to the branches dropdown +[2017-01-28T13:37:05Z]guest34564. bug, only shows 'compare' but no option to start a PR
+[2017-01-29T06:50:57Z]newgithubuserhey, i am a new github user (kinda) not totally new, but basically I am wondering the following.... how can i use a private github repo on my lan and have it auto sync with my github account on github, so i can have 20 people locally working and having fast commits and then the 4 remote guys can also use the same repo, but it all go into github... its just that our office has shit internet and i am thinking its going to be +[2017-01-29T06:52:25Z]github595wow, now i feel like i am new to IRC as well, that wasnt supposed to happen... +[2017-01-29T11:00:12Z]CaterpillarI suspect that Google does not index Github Gist. Can anyone confirm / or not? +[2017-01-29T13:18:55Z]nedbatCaterpillar: you can take a look at the robots.txt: https://gist.github.com/robots.txt Not sure what it tells you exactly, since it's mostly about github.com, not gist.github.com +[2017-01-29T13:20:06Z]nedbatCaterpillar: and it looks like it does index gists: https://www.google.com/search?q=%22Demonstration%20of%20zip%20being%20its%20own%20inverse%20%22