+ [8 years ago] guest3456 1. visit a forked repo, or the main upstream repo for your fork
+ [8 years ago] guest3456 2. click Commits and then click the "<>" button to 'browse repo at this point in history'
+ [8 years ago] guest3456 ie. 1 commit prior to HEAD, but still ahead of your tip
+ [8 years ago] guest3456 3. click the 'New pull request' button next to the branches dropdown
+ [8 years ago] guest3456 4. bug, only shows 'compare' but no option to start a PR

message no. 162118

Posted by guest3456 in #github at 2017-01-28T13:35:52Z

2. click Commits and then click the "<>" button to 'browse repo at this point in history'
+ [8 years ago] 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
+ [8 years ago] github595 wow, now i feel like i am new to IRC as well, that wasnt supposed to happen...
+ [8 years ago] Caterpillar I suspect that Google does not index Github Gist. Can anyone confirm / or not?
+ [8 years ago] 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
+ [8 years ago] 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