I'd guess they'll switch to something eventually, something after git probably.

Making such a change would be a massive undertaking for WordPress due to its deep integration into theme and plugin repositories.