[log4net] Remove log4net github repo?

[Stefan Bodewig]

Hi

it's been more than three weeks since I commented on all PRs at the old
mirror. I think it is safe to ask infra to remove the mirror of the svn
tree by now.

Any objections?

Stefan