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/a425735d-aafb-418b-a562-836033e19dban%40googlegroups.com.
