+ [2015-08-19T23:23:20Z] morenoh149 is it the code this PR was written against changed?
+ [2015-08-19T23:24:26Z] Seveas yeah, commits were added to the branch-to-be-merged-into that conflict with the commits on the PR
+ [2015-08-19T23:24:42Z] Seveas best thing to do is rebase and push --force-with-lease the PR branch
+ [2015-08-19T23:24:52Z] Seveas the rebase will have conflicts, you'll need to solve them.
+ [2015-08-19T23:28:28Z] morenoh149 Seveas: If I have cloned the main repo. Do I have access to rebase this PR or would I have to ask the PR author to rebase?

message no. 108733

Posted by alanjf in #github at 2015-08-19T15:54:17Z

Question. If the 7 character short version of the 40 character commit identifier string (`git rev-parse --short HEAD` vs `git rev-parse HEAD`) is unique, why is the 40 character one needed at all?
+ [2015-08-20T04:34:53Z] nick1 hello
+ [2015-08-20T04:35:03Z] nick1 i'm unable to access github.com does anyone have any ideas why?
+ [2015-08-20T04:35:54Z] nick1 I can't load it in Chrome, Firefox, IE or via a ping (request timed out) I can load other websites find
+ [2015-08-20T04:35:56Z] nick1 fine*
+ [2015-08-20T05:48:47Z] Seveas nick1: home/corporate/country firewall that blocks it?