On Friday, 4 March 2022 at 07:10:05 UTC, Mike Parker wrote: > On Friday, 4 March 2022 at 06:00:06 UTC, Arun wrote: > >> >> Just curious if we looked at GitLab as an alternative to both >> GitHub and Bugzilla. > > We're happy on GitHub and have no plans to move to GitLab. Sure. You mean, GitHub + Bugzilla?