+ [2020-04-04T12:07:04Z] tarkus Q: Is there an easy very to compare two semver version numbers on "ubuntu-latest" GA machine?
+ [2020-04-04T12:09:25Z] nedbat tarkus: what is GA machine?
+ [2020-04-04T12:09:38Z] tarkus GitHub Actions
+ [2020-04-04T12:10:49Z] nedbat sorry, i don't know
+ [2020-04-04T15:08:37Z] mazula hi any idea why I have this error? https://gist.github.com/minas-tirith/835ea39609ce9377008923ebfe87ab1e

message no. 178952

Posted by nedbat in #github at 2020-04-04T12:10:49Z

sorry, i don't know
+ [2020-04-05T10:04:41Z] tarkus Do you know why, there might be "This branch was successfully deployed" in the PR status, but yet "No deployments" label underneath? Trying to figure out why environment URL doesn't show up anywhere in the PR after the deployment succeeds.
+ [2020-04-05T11:47:57Z] escherial hey, i have a PR that i don't think is going to be reviewed in the near future, but i have changes for a second PR that kind of depend on the first
+ [2020-04-05T11:48:21Z] escherial would it be a bad idea to make a branch off my initial PR, do the extra work there, then submit a PR for that other branch later on, once the first one gets merged?
+ [2020-04-05T11:50:29Z] nedbat escherial: i have done that, except I submitted the second PR now, with a comment that it includes everything from the first PR.