use repo short name

Author: podviaznikov

lib/routes/actions/github.js

@@ -359,7 +359,7 @@ function doubleEncode (str) {
 
 function createServerSelectionUrl (owner, gitInfo) {
   return 'https://' + process.env.DOMAIN + '/' + owner + '/serverSelection/' +
-    gitInfo.repo + '?branch=' + doubleEncode(gitInfo.branch) +
+    gitInfo.repoName + '?branch=' + doubleEncode(gitInfo.branch) +
     '&pr=' + gitInfo.number +
     '&commit=' + gitInfo.commit +
     '&message=' + doubleEncode(gitInfo.headCommit.message);