+[2014-11-07T23:26:46Z]VxJasonxVnope. just a specific IP +[2014-11-07T23:26:56Z]VxJasonxVuse names, not ips +[2014-11-07T23:27:11Z]lutoI don't use pages :P +[2014-11-07T23:29:23Z]lutodoes enterprise support github pages, btw? +[2014-11-07T23:43:24Z]VxJasonxVyes
message no. 59794
Posted by REdOG in #github at 2014-11-07T17:59:23Z
but it promts me still
+[2014-11-08T00:07:58Z]puffhttp://paste.ubuntu.com/8874927/ +[2014-11-08T00:08:11Z]puffWhat happens after I git push to a github repo? +[2014-11-08T00:12:21Z]psgspuff, Once you have pushed to the remote GitHub repository, the changes should show up online. Your changes may show up in other developers' local branches if they choose to pull from the remote GitHub repository :) +[2014-11-08T00:13:27Z]puffpsgs: thanks. +[2014-11-08T00:13:36Z]puffpsgs: So I'd push and then email them or whatever and tell them to pull.