Re: Infrastructure | GitHub mirror considered harmful (#86)



Title: GitLab

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.



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]