+ [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. 108744

Posted by alanjf in #github at 2015-08-19T17:44:17Z

Question. If the 7 character short version of the 40 character commit identifier string is unique, why is the 40 character one needed at all? Or is the short version not guarenteed to be unique for a long peroid of time?
+ [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?