robots for doing github things: they are very good. encoding workflows as code instead of making people do it is like, so so so nice
robots for doing github things: they are very good. encoding workflows as code instead of making people do it is like, so so so nice