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.