+ [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. 59524

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

I resolve any conflicts, git add/commit any further changes, git pull again to make sure nobody's added more conflicts since the last pull.
+ [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.