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. 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 > <https://github.com/sagemath/trac_to_gh/issues/26> corresponds to #34110 > <https://trac.sagemath.org/ticket/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.
