Switch to Git repo?

[Jesse Sightler]

Are there still no plans to switch to Git? I tend to use the mirrored repo,
as it makes dev much easier (local branching, PR workflow, etc). Is this
something that can happen this year?