I just opened an issue (the first on github?), but I could not add labels either. Perhaps the labels are deactivated for ordinary users?
On Monday, 6 February 2023 at 10:00:52 UTC+1 Kwankyu Lee wrote: > On Monday, February 6, 2023 at 5:47:22 PM UTC+9 Lorenz Panny wrote: > Sorry if this is answered somewhere in the new documentation, I couldn't > find it: What is the intended procedure for migrated issues which were in > "needs review" state and already had a branch? Am I to push the branch to > my own fork and create a fresh pull request for each such issue? > > Yes, according to the guide: > > > https://github.com/sagemath/trac-to-github/blob/master/docs/Migration-Trac-to-Github.md#for-contributing-a-change-that-addresses-an-existing-open-issue-that-has-been-migrated-from-trac > > But the procedure is not smooth yet. I could not add labels to > > https://github.com/sagemath/sage/pull/34960 > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/3ac2ef17-3900-45cf-96b3-21e274e77dbbn%40googlegroups.com.
