Re: [Savannah-register-public] [task #14510] Mirroring to GitHub

[Сергей Кривонос]

I propose to encourage people to host project on Savannah. This means project maintainers can freely move projects from GitHub to Savannah. All who depends on GitHub frontend may continue use it in this case. We need the mirroring for this.