+[10 years ago]VxJasonxVnope. just a specific IP +[10 years ago]VxJasonxVuse names, not ips +[10 years ago]lutoI don't use pages :P +[10 years ago]lutodoes enterprise support github pages, btw? +[10 years ago]VxJasonxVyes
message no. 59795
Posted by REdOG in #github at 2014-11-07T18:00:02Z
nm, got it, typoed the cfg
+[10 years ago]puffhttp://paste.ubuntu.com/8874927/ +[10 years ago]puffWhat happens after I git push to a github repo? +[10 years ago]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 :) +[10 years ago]puffpsgs: thanks. +[10 years ago]puffpsgs: So I'd push and then email them or whatever and tell them to pull.