+ [2014-11-07T23:26:46Z] VxJasonxV nope. just a specific IP
+ [2014-11-07T23:26:56Z] VxJasonxV use names, not ips
+ [2014-11-07T23:27:11Z] luto I don't use pages :P
+ [2014-11-07T23:29:23Z] luto does enterprise support github pages, btw?

message no. 59526

Posted by puff in #github at 2014-11-07T04:33:00Z

Then.. does anything need to happen at the github repo? Or do my changes just show up when other developers do git pull on the master branch?
+ [2014-11-08T00:07:58Z] puff http://paste.ubuntu.com/8874927/
+ [2014-11-08T00:08:11Z] puff What happens after I git push to a github repo?
+ [2014-11-08T00:12:21Z] psgs puff, 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] puff psgs: thanks.
+ [2014-11-08T00:13:36Z] puff psgs: So I'd push and then email them or whatever and tell them to pull.