please give meaningful titles to PRs

25 views

Skip to first unread message

unread,

Feb 8, 2023, 5:39:23 AM2/8/23

to sage-devel

please give meaningful titles to PRs - this would allow potential
reviewers to see
much quicker whether they are qualified to review!

Reply all

Reply to author

Forward

0 new messages