Re:Improving how we deploy GitHub
by paxys on Monday January 25, 2021 @02:31PM
(#25907615)
I'm guessing they are using Hubot (https://hubot.github.com/)
[ Parent
| on HN ]
Re:Improving how we deploy GitHub
by swagonomixxx on Monday January 25, 2021 @03:51PM
(#25908679)
A place I was at used Hubot as well. It gets the job done, we never really ran into a fuss. Easily extensible as well.