I've created https://github.com/sagemath/sage-gh-templates-sandbox for playing with Issue and PR templates.
On Friday, September 23, 2022 at 12:50:05 PM UTC-7 Matthias Koeppe wrote: > I think part of a solution could be PR templates, which add structure to > the PR description (= the first comment). That could be a way of adding > Authors (and Reviewers) to a PR. > > https://docs.github.com/en/communities/using-templates-to-encourage-useful-issues-and-pull-requests/about-issue-and-pull-request-templates > > https://docs.github.com/en/communities/using-templates-to-encourage-useful-issues-and-pull-requests/creating-a-pull-request-template-for-your-repository > > On Friday, September 23, 2022 at 9:51:55 AM UTC-7 Matthias Koeppe wrote: > >> On Friday, September 23, 2022 at 7:51:24 AM UTC-7 kcrisman wrote: >> >>> On the GH page documenting the transition and new workflow proposal, I >>> don't see a way to have multiple AUTHORs in the way we usually kept track >>> of it. >> >> >> I agree, this still needs to be specified. (Related: >> https://groups.google.com/g/sage-devel/c/ayOL8_bzOfk/m/pPqbu13fAAAJ) >> >> >> >> >> > -- 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/301e5900-6aa7-48b1-8f99-3a1782e59c8bn%40googlegroups.com.
