Andrea Veri commented:
Sure, I'm marking this issue as resolved for now, feel free to re-open if the proposed solution is not enough and / or the proposal to retire the GitHub mirror will have consensus.
Andrea Veri commented:
Sure, I'm marking this issue as resolved for now, feel free to re-open if the proposed solution is not enough and / or the proposal to retire the GitHub mirror will have consensus.