This is Github's documentation for doing it, but it's pretty annoying: https://docs.github.com/en/pull-requests/committing-changes-to-your-project/creating-and-editing-commits/creating-a-commit-with-multiple-authors
Maybe we could create some automation to add these kinds of comments to the merge commit created when a PR is merged, or as a comment on the PR when it's closed.... David On Fri, Sep 23, 2022 at 10:51 AM kcrisman <kcris...@gmail.com> wrote: > Not sure where to ask this - here? 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. Note that often there were > people who were authors who didn't show up on a specific commit, but which > the discussion on a ticket made clear there was a consensus they should be. > (For instance, one might propose some code on sage-devel or sage-support, > which then someone else puts on a branch.) Do we have a proposal for a > mechanism to keep track of this beyond PR-associated emails? I realize > that it's possible to put a different author than committer, but I'm not > sure how that would work with multiple of both. > > If not, hat would not be an insurmountable difference for contributors, > but would be a change from our historic practice which assigned credit > "liberally", as it were. For context, I thought of this as a potential > contributor was asking about credit issues (not this precise issue, more > generally) on a ticket. > > -- > 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/87584831-2a22-4f43-be96-046840ac480an%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/87584831-2a22-4f43-be96-046840ac480an%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAChs6_m%3DDx_QGeWLr2pOGZFbhbMA4V%3DO-6HBzSmTN0std_ncgg%40mail.gmail.com.
