Reviewer tools

51 views
Skip to first unread message

Kwankyu Lee

unread,
Oct 31, 2023, 1:30:03 AM10/31/23
to sage-devel
Hi

I created a wiki page that contains simple bash scripts that may be useful to reviewers:


that may cure the heart missing "git trac".

kcrisman

unread,
Oct 31, 2023, 7:17:47 AM10/31/23
to sage-devel
I created a wiki page that contains simple bash scripts that may be useful to reviewers:


that may cure the heart missing "git trac".

Thanks! 
Reply all
Reply to author
Forward
0 new messages