+ [8 years ago] mydog2 hey guys.. real basic/simple question.. i copied a pub repository from github to local.. i created a github acct. i then inserted the local repos into the remote acct i created.. i now have a repos for the user.. (it still has the orig user's name, etc)..
+ [8 years ago] mydog2 i then tried to modify the README.md file.. on the local side.. and then did a git commit -a -- i edited the commit file.. git said the commit completed.. however, the README.md on the remote is not changed...
+ [8 years ago] kbs this is more how git works I guess, but since you're always working with a "local" copy, and you have to explicitly sync your local changes to somewhere else. (take a look at git push)
+ [8 years ago] mydog2 i did a git push as well
+ [8 years ago] kbs maybe helpful then to show output of commands run, etc - dunno

message no. 166501

Posted by kbs in #github at 2017-03-26T18:39:57Z

but look at it if it makes sense, etc
+ [8 years ago] dvim I was wondering if there was some discussions around the githubs "requested changes" icon? It is currently a red cross, which looks like a big "denied" sign. IMHO it looks a bit too harsh. :)
+ [8 years ago] Rovanion Is it possible to get a message/HTTP-request from github when a new commit is pushed to a repository I don't own.
+ [8 years ago] Rovanion For example if I want to rerun some tests/benchmarks when a new commit is pushed against master on one of my dependencies?
+ [8 years ago] Rovanion Or is it easiest to simply fetch head from the git repo on a regular basis?
+ [8 years ago] leshaste is it possible to get github to email you when someone pushes?