Great work! GitHub Actions has been a huge boon to the project on so
many fronts. Let's hope that GitHub / Microsoft keep up the free open
source project resources.
On Thu, Mar 12, 2020 at 1:40 PM Neal Richardson
wrote:
>
> Thanks Krisztián!
>
> On Thu, Mar 12, 2020 at 11:07 AM Krisztián Szűcs
>
Thanks Krisztián!
On Thu, Mar 12, 2020 at 11:07 AM Krisztián Szűcs
wrote:
> Hi,
>
> Since the Ursa-labs machines are down @ursabot comment
> bot was not operational. Luckily Github Actions is able to
> listen on more kinds of Github events like the issue_comment,
> so I've ported [1] the comment
Hi,
Since the Ursa-labs machines are down @ursabot comment
bot was not operational. Luckily Github Actions is able to
listen on more kinds of Github events like the issue_comment,
so I've ported [1] the comment bot to work without the buildbot
buildmaster.
So the comment bot is available again wit
