+[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. 59500
Posted by jarek in #github at 2014-11-07T01:56:25Z
Hi
+[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.