+[2014-09-08T22:16:34Z]ozonesshey guys. I just rebased a rejected pull request. I already pushed the update, will it notify the repo's owner? +[2014-09-08T23:22:30Z]Remramnope +[2014-09-08T23:22:59Z]RemramIf you merge the original branch from the PR, everybody who subscribed to the PR will get a notification +[2014-09-08T23:23:12Z]Remrambut if you merge something else, I don't think so +[2014-09-08T23:23:24Z]RemramOf course, you can always just comment on the PR (closed or not)
MasterPiece: What's that? Doesn't look like standard git not Github
+[2014-09-09T09:55:01Z]FNDhi - I'm not quite sure what's required to update our custom domain using GitHub Pages: +[2014-09-09T09:55:24Z]FNDcurrently roca-style.org uses innoq.github.com/roca/ +[2014-09-09T09:55:40Z]FNDso should we update that to use ALIAS innoq.github.io? +[2014-09-09T12:21:38Z]coxaLTHello and good day, i have a question about finding specific project. Would there be anyone here now who could help me? +[2014-09-09T12:22:25Z]tobiasvlwhat do you mean?