+ [2017-01-28T13:35:19Z] guest3456 1. visit a forked repo, or the main upstream repo for your fork
+ [2017-01-28T13:35:52Z] guest3456 2. click Commits and then click the "<>" button to 'browse repo at this point in history'
+ [2017-01-28T13:36:17Z] guest3456 ie. 1 commit prior to HEAD, but still ahead of your tip
+ [2017-01-28T13:36:49Z] guest3456 3. click the 'New pull request' button next to the branches dropdown
+ [2017-01-28T13:37:05Z] guest3456 4. bug, only shows 'compare' but no option to start a PR

message no. 162095

Posted by guitarman_ in #github at 2017-01-28T06:37:49Z

hello
+ [2017-01-29T06:50:57Z] newgithubuser hey, 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] github595 wow, now i feel like i am new to IRC as well, that wasnt supposed to happen...
+ [2017-01-29T11:00:12Z] Caterpillar I suspect that Google does not index Github Gist. Can anyone confirm / or not?
+ [2017-01-29T13:18:55Z] nedbat Caterpillar: 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] nedbat Caterpillar: and it looks like it does index gists: https://www.google.com/search?q=%22Demonstration%20of%20zip%20being%20its%20own%20inverse%20%22