Sunsetting Subversion support

On January 8, 2024, GitHub will remove support for Subversion.