13:51:50 moneromooo: please also open the fixes you want in v0.16 against the branch 13:56:38 I did. I just don't think the lock one needs to, it's pedantic. 16:40:40 Research meeting in #monero-research-lab begins at 17:00 UTC (about 20 minutes from now) 18:37:08 it's been sugggested (selsta I think) to use https://backhub.co for backup of repos, it's 15$ / month. We could also reach out to them and ask for a free offer or a discount, and in exchange they could be listed on the sponsor page. Anyway reasonably priced and could be a good use for general fund 18:38:11 Backup of public repositories ? 18:38:21 They also backup issues and pull requests which I think is valuable. 18:38:33 moneromooo: yes 18:41:28 All metadata is nice. Otherwise just for repo let's all do it somewhere :) 18:42:25 If github data is gone, would be quite hard to get productive again with purely the git repo 18:42:59 Yes and monero has a higher chance of getting deleted than the average repo. 18:44:57 Are the backups compatible with anything else? 18:45:18 If the repo were to be removed from GitHub and the only use for the backup is a restore to GitHub, that doesn't seem very useful 18:48:00 It’s in JSON so we could parse it. 18:49:35 There is no standardized format so direct compatibility is unlikely. 18:50:10 We could also restore to Github and then use some Github -> ??? tool to transfer data. 19:10:34 I think sarang's point was that we'd need that if github goes poof. Then being able to restore to github and then transfer from it is not worth much. 19:11:49 I suppose it could be useful if someone wrote a tool to extract the necessary data and make it work with some other repo management tool 19:11:50 but who knows 19:13:36 It’s better than not having a backup and $15/month sounds reasonable. 19:24:59 looks like $12/mo for me 19:27:50 pretty sure dsc_ runs a git service of sorts that has everything from github 19:28:00 Not metadata. 19:28:14 like issues / pull requests / ... 19:29:33 it's cheap enough, so the question is what does it gain us and is it separate from github itself? 19:30:07 Yes, separate from Github and there is also the option that they backup to a S3 location. 22:38:55 So there was discussion a while back about using GitHub for hosting binaries 22:39:01 AFAIK this didn't lead to anything 22:39:05 Worth bringing up again? 22:40:31 We already use it as backup. Why is main website? 22:40:55 I’m against it unless there is a good reason for it. 22:41:11 The getmonero.org download problem has been fixed for a while now 22:41:24 s/is/as/ 22:41:25 Sure, but it did exist 22:41:38 I'm wondering if there's really any practical advantage to self-hosting the binaries 22:43:32 My devil's-advocate argument is that GitHub offers free bandwidth for this, is integrated directly with the rest of the development workflow, and has not been subjected to an actual successful attack 22:44:00 that you know of 22:44:04 true 22:44:17 But you could say the same for self-hosting, no? 22:44:22 Yes. 22:44:28 (except for the one known attack...) 22:44:37 Why was there a switch to self-hosted in the first place? 22:44:38 IMO there seems to be little added risk, and free bandwidth 22:45:02 AFAIK it always was self hosted? 22:45:57 If the website is hacked they can change the link anyway. 22:46:16 In that case, why not take advantage of the free bandwidth? 22:48:27 I guess my question is why pay for self-hosted when it's been successfully exploited at least once, and there's free hosting available from the same entity that already manages the rest of the workflow? 22:48:45 I suppose it has been there for a long time, according to the ol' wayback machine. I've always grabbed releases from Github :/ 22:48:53 FWIW getmonero.org is noticeably faster than Github on my connection. 22:49:41 If fluffy decides to stop paying for it then I would also use github. 22:52:48 Also one point brought up in the past is that the CDN we currently use has multiple PoPs in China. 22:53:04 Interesting; I did not know that 22:53:20 What's a PoP ? Or a PoPs. 22:53:41 points of presence / datacenters 22:54:16 China has blocked Github in the past. 22:57:17 And DoSed it.