Sure, we can try with actions first. It does not change the implementation of the bot much, just makes persisting the bot's state a bit more complicated. (But that problem has been solved before by others.)
On Tuesday, February 7, 2023 at 11:00:14 PM UTC+2 Matthias Koeppe wrote: > I think currently the only time when there is a shortage of GH Actions > runners is after pushing a release tag because then we run the full > portability suite, which spins up dozens of builds. > > On Tuesday, February 7, 2023 at 12:58:04 PM UTC-8 Dima Pasechnik wrote: > >> >> >> On Tue, 7 Feb 2023, 20:55 Matthias Koeppe, <matthia...@gmail.com> wrote: >> >>> On Tuesday, February 7, 2023 at 5:33:04 AM UTC-8 David Roe wrote: >>> On Tue, Feb 7, 2023 at 10:28 AM Eric Gourgoulhon <egourg...@gmail.com> >>> wrote: >>> * Julian and I can work on creating a bot for managing component teams. >>> There will be a top level "Components" team, with a sub-team associated to >>> each of our existing components. >>> * The bot will be contained in a new repo in the sagemath organization, >>> and will run on a google cloud instance that Julian sets up (we could run >>> it on Github Actions, but that would use up one of our runners that we use >>> for linting and doctesting PRs). Julian can give others access to the >>> machine, and if Julian disappears for some reason and we want to shut the >>> bot down years from now, an organization admin can just revoke the bot's >>> permissions. >>> >>> I would very strongly suggest to do this with GitHub actions instead of >>> depending on new ad-hoc infrastructure that needs to be maintained by >>> developers. >>> >> >> indeed - I think it was in part based on a misconception that Actions >> need a dedicated runner. >> >>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "sage-devel" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to sage-devel+...@googlegroups.com. >>> >> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/sage-devel/82f99542-2bab-496b-8dfe-cf36678bbcb2n%40googlegroups.com >>> >>> <https://groups.google.com/d/msgid/sage-devel/82f99542-2bab-496b-8dfe-cf36678bbcb2n%40googlegroups.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/8f4d5394-1ec4-4383-9225-9d808938d6d3n%40googlegroups.com.
