+ [2020-05-22T23:33:57Z] mydog2 also -- what's the "pull_request_yourname" -- don't see that anywhere in the article
+ [2020-05-22T23:35:00Z] nedbat mydog2: "git checkout -b pull_request_yourname" it's the name of a branch
+ [2020-05-22T23:35:46Z] nedbat mydog2: private_repo_yourname is your name for the remote
+ [2020-05-22T23:51:09Z] flying_sausages Hey guys, I'd like to get the latest binary from the releases in a wget call, how would you make sure the get the one that is the latest marked as stable?
+ [2020-05-22T23:52:07Z] flying_sausages i.e. dynamically getting the latest version of a file such as this https://github.com/hkalexling/Mango/releases/download/v0.3.0/mango

message no. 181021

Posted by choice in #github at 2020-05-22T18:02:48Z

nedbat: How would the action be triggered by a push to the other repo? (The other repo is under another user)
+ [2020-05-23T00:08:06Z] mydog2 hey nedbat - ok, on the pull branch, if i dont have a branch yet, can this be blank? or does it default to master?
+ [2020-05-23T00:08:23Z] mydog2 let me keep reading/trying/testing. thanks!
+ [2020-05-23T11:11:21Z] Woet is there a way to link to the latest commit without knowing the commit ID?
+ [2020-05-23T11:11:35Z] Woet e.g. https://github.com/Woet/repo/commit/latest
+ [2020-05-23T11:25:16Z] nedbat Woet: /user/repo/commit/master