On Mon, Sep 26, 2022 at 10:26 AM Tobias Diez <tobiasdiez...@gmail.com> wrote: > > > >> 2. Convert all tickets to Issues in a new repo. (This preserves the ticket >> numbers as Issue numbers.) > > > Would it make sense to convert tickets with branches directly to > pull-requests?
only open tickets. Closed tickets are served well enough by changing links to branches on sagetrac-mirror. > Since most of them probably already contain quite a bit of discussion about > the implementation, which you would like to have as a easy reference if you > would review the PR later. > >> >> 4. Replace sagemath/sage by the new repo. > > > If you rename a repo (in our case sage -> sage-old), then github adds > redirects for issues etc in sage to sage_old. So it should be double-checked > that you can later indeed add a new repo with the name sage. > > -- > 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/6418ac37-a858-447a-be9f-f7d7f4da9461n%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/CAAWYfq31AH0uPEBpqPOSOtuidD2TdmrNe%3D%2BQE1ow68wMuH%3Dyyw%40mail.gmail.com.