Hi,
Is the silence to this post just caused by lack of time or is there no interest
in the github mirror?
IMHO, a broken mirror is worse than no mirror, I'd propose asking infra to
either shut down the
current broken mirror or let them recreate a new one. I would gladly assist in
any way, but
Hi,
I can't speak for others, but personally, I have no interest in this. We never
asked for a GitHub mirror to begin with. I wonder why infra created these
things (without input from the project) if they weren't going to maintain them
or at least properly shut them down. If Apache is creating
