+ [5 years ago] Hoffman Keshu2212: assuming you pushed them from this machine
+ [5 years ago] Hoffman Keshu2212: otherwise, you can always run 'git pull' to get the latest from it
+ [5 years ago] Keshu2212 Hoffman but when I will do git pull it will only pull from master branch and I want to pull from another branch
+ [5 years ago] Hoffman Keshu2212: if this branch is configured correctly with a remote, git pull will pull the latest from this branch you are on
+ [5 years ago] Keshu2212 Hoffman Ok let me do it.

message no. 177078

Posted by catbeard in #github at 2020-02-17T16:56:37Z

though i'm not sure how it's deployed to a specific server, is this an outbound ssh connection, or do i have to call rsync in run: | to get it to copy to a remote server (instead of presumably running on the server that has ubuntu-latest)
+ [5 years ago] escherial Seveas: right, of course; i don't know who did this, but i suspect it's someone higher up in the hierarchy than me
+ [5 years ago] escherial i believe we're all using case-sensitive filesystems (OS X and linux)
+ [5 years ago] escherial that's why i'm surprised that it's goofing up with my machine and github...let me check my case sensitivity setting, one sec
+ [5 years ago] mnr200 I'm trying to add Github action badge to one of my project on github.
+ [5 years ago] mnr200 But it says page not found