16:50:11 I'm wondering about the idea of having mirrors of official project repos on the Monero GitLab. It seems this was already done previously for the site, after GitHub was acquired by Microsoft. 16:51:26 I understand this would take a lot of work, however GitHub is becoming increasingly hostile to people attempting to sign up over Tor/proxies, which is not in line with the ethos of the project. It would be convenient to have another place where issues/PRs could be submitted 16:52:57 Also, what if GitHub just decides to shut us down one day? I might be missing something, but depending on Microsoft services for project coordination seems to be a huge point of centralization. 17:33:31 we use https://rewind.com/products/backups/github/ for backups 17:40:05 Thanks, good to know 17:41:35 Do you still think a mirror would be possible or worth considering? 17:42:25 It seems the only way to submit PRs currently (besides GH) is to just send them on IRC, and having discussion about them is really convoluted 17:42:59 I mean like, you can't really keep track of suggested modifications/concerns in a single-threaded manner on IRC. 18:23:34 <321bob321> There is more mirrors then a clown house of monero repo 18:35:26 Yes, I understand that. My question is about whether an official one could be set up to submit issues/PRs on 19:05:31 Feel free to host one ? > Do you still think a mirror would be possible or worth considering? 19:05:56 Forgejo works pretty well for that 19:07:47 Theres nothing official about anything. If you mean "core supported", its still a community ran service. Weve had a few mirrors come and go. Some altrusitic, some sponsored. Microsoft/github is the one that didnt disappear overnight 19:11:26 If someone wanted to make an issue in the meta or research-lab repo, but didn't have a GitHub account, how would they do that? It's not like people are all going to check some random Forgejo mirror for issues 19:12:30 I'm not asking for anyone to put up a mirror, I'm simply wondering if it's something people would consider. A de facto official one, I mean. Like this: 19:12:31 https://repo.getmonero.org/monero-project/monero-site 19:16:26 Maintain multiple repos instead of one, except the other doesnt come with all the free stuff (runners etc) as GH so the maintainer has to also make sure they pass tests 19:16:56 good luck with that, also monero research lounge lol 19:17:38 Yeah, I can see why it would be a pain :| 19:17:46 But thanks anyways, I appreciate it :)