On Wed, Jun 14, 2023 at 7:11 PM Matthias Koeppe <matthiaskoe...@gmail.com> wrote: > > We did have sagemath/sage with branches develop and master. > And you made releases there.
well, it's to understand how exactly Zenodo integration broke. Apparently for them renaming of a repo is not a reason to turn the integration off, so it wasn't a good idea to rename/duplicate it. I still don't understand why https://github.com/sagemath/sage has all the releases as in https://github.com/sagemath/sage-archive-2023-02-01 One problem is that the integration wasn't set up by me in the 1st place, I can't unlink https://github.com/sagemath/sage-archive-2023-02-01 from Zenodo. Our 1st Zenodo DOI is for Sage 6.6, https://github.com/sagemath/sage-archive-2023-02-01/releases/tag/6.6 release tagged by Harald. Harald, was it you who set up Zenodo DOIs for Sage? Dima > > On Wednesday, June 14, 2023 at 10:59:57 AM UTC-7 Dima Pasechnik wrote: >> >> >> >> On Wed, 14 Jun 2023, 18:52 Matthias Koeppe, <matthia...@gmail.com> wrote: >>> >>> On Wednesday, June 14, 2023 at 10:49:14 AM UTC-7 Dima Pasechnik wrote: >>> >>> I also don't understand why sage-archive-2023-02-01 repo has releases. >>> Was this repo created by some kind of a GitHub-specific clonig process? >>> >>> >>> As it says in its "About" box: "This repository used to be the user-facing >>> mirror of the Sage source tree. As Sage development migrated on 2023-02-01 >>> from https://trac.sagemath.org/ to our new repository on GitHub, >>> https://github.com/sagemath/sage, we have renamed and archived this >>> repository." >> >> >> Was it a github repo? Some other repo? Did the latter actually have any >> github releases? >> >> AFAIK, the user-facing mirror was sagetrac-mirror, still there, no? >> >> >>> >>> >>> >>> >>> >>> -- >>> You received this message because you are subscribed to the Google Groups >>> "sage-devel" group. >>> To unsubscribe from this group and stop receiving emails from it, send an >>> email to sage-devel+...@googlegroups.com. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/sage-devel/2411ed3f-7687-4816-84f8-ae097fd4021cn%40googlegroups.com. > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/637c1733-ea8d-4d41-a329-fba061c75b2an%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq3JF4C7hd_Srp3e4QWgCgMCHF9nD1cy6oqjqBp2k%2BqXLw%40mail.gmail.com.
