[TheDong]

> but they plan to move some of the CI to GitHub, at least

Really? I've seen no indication of that anywhere, and I'd be amazed if they did.

They're not using github PRs, and github actions really fights against other development workflows... not to mention they already have invested a lot in TaskCluster, and specialized it to their needs.

Where are you getting that from?

[bayindirh]

It was an, apparently very wrong, educated guess. Nothing more.