On Tue, Sep 27, 2022 at 11:29 AM Tobias Diez <tobiasdiez...@gmail.com> wrote: > > One more question: The current plan is to use the sagetrac-mirror repo as the > base for creating PRs but also to archived it. However, if I'm not mistaken, > that makes all branches in sagetrac-mirror readonly and thus one cannot > continue working on existing PRs by pushing to the corresponding branch in > sagetrac-mirror.
IMHO the plan is to create new PRs in sagemath/sage, not in sagemath/sagetrac-mirror There won't be "existing" PRs, only issues, pointing to branches on sagetrac-mirror > On Tuesday, 27 September 2022 at 10:02:06 UTC+2 seb....@gmail.com wrote: >> >> Matthias Koeppe schrieb am Samstag, 24. September 2022 um 19:09:46 UTC+2: >>> >>> On Saturday, September 24, 2022 at 9:27:46 AM UTC-7 mathzeta2 wrote: >>>> >>>> Is it possible to choose the issue numbers in GH when making a migration? >>>> Then, setting a redirect of the form >>>> "https://trac.sagemath.org/ticket/$TICKET_NUMBER -> >>>> https://github.com/sagemath/sage/issues/$TICKET_NUMBER"; will make the >>>> lion's share of the links still relevant. >>> >>> >>> Yes, to map it like this is the plan. >>> >>>> >>>> This does not preserve fragments like "#comment:7", which is useful in >>>> long ticket discussions. >>> >>> >>> Thanks, I've opened https://github.com/sagemath/trac-to-github/issues/7 for >>> this. >> >> Don’t we need an issue for the first point, as well? The example #26 >> corresponds to #34110 which is not easy to recover from the migrated >> information. >> >> Furthermore, it isn’t still clear to me how dependencies between PRs will be >> visible (like in the Trac dependencies field). In the above example you have >> to recover this from the history of commit messages (which may not be clear >> enough in general). Shouldn’t the migration put something into the header >> fields milestone, assignees, …, as well (if possible)? How will authors and >> reviewers be visible? > > -- > 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/d815783e-fd5c-4aa3-ab27-7024b18b299dn%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/CAAWYfq2J9Ksersn9LHhBayWg4%2BEV4nuyEZBYH%3DD5FxumXwRMsg%40mail.gmail.com.
