> 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.
If there's a way to (lightly) enforce that via some kind of bot, that
sounds very reasonable.
On another note, I realize that the comment I made 6 years ago after
Volker's comment is still relevant:
"There's also the non-trivial (though not blocker, probably) issue that
zillions of links to trac.sagemath.org would instantly be obsolete"
How long do we want to have Trac still exist, but be read-only? Obviously
we wouldn't take it down right away, but presumably eventually we would
need to do so.
--
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/70d22072-efe0-4248-a1f5-3704769722d5n%40googlegroups.com.
