+ [2020-05-04T20:55:19Z] nedbat !!!
+ [2020-05-05T01:12:04Z] RoseBus what is it called when a server automatically fetches the most recent push from github and updates itself?
+ [2020-05-05T06:38:50Z] deepy RoseBus: are you thinking of continous deployment?
+ [2020-05-05T06:39:02Z] deepy because it can be done that way but doesn't have to be
+ [2020-05-05T08:15:39Z] canton7 RoseBus, a mirror?

message no. 180228

Posted by RoseBus in #github at 2020-05-05T01:12:04Z

what is it called when a server automatically fetches the most recent push from github and updates itself?
+ [2020-05-06T10:54:23Z] strk can github-action Dockerfile receive an ARG from callers ?
+ [2020-05-06T10:54:25Z] strk (how)
+ [2020-05-06T10:58:49Z] Lope the conversation tab on github does not show any dates/times for comments. I can't find anything about this in the help?
+ [2020-05-06T10:58:56Z] Lope (for a PR)
+ [2020-05-06T11:00:05Z] jhass it does? right next to the username?