GitHub issues

15 views
Skip to first unread message

Rob Beezer

unread,
Jul 24, 2026, 5:21:54 PM (7 days ago) Jul 24
to prete...@googlegroups.com
I'm teaching my assistant to triage the (huge) backlog of issues we have
accumulated (rather than relying on David Farmer, Alex Jordan, and others to do
it). So if something happens on an issue that is near-and-dear to you (like
being closed, when you think the explanation does not hold up), feel free to
re-open with a comment (or ask me to re-open it if you are not the owner).

Rob

Bradley Miller

unread,
Jul 24, 2026, 5:32:48 PM (7 days ago) Jul 24
to PreTeXt development
Great idea Rob!  I’d like to do that myself.  If you have a good prompt that you are using please share it with me.

Brad

Brad Miller
Professor Emeritus, Luther College
Founder, Runestone Academy LTD
Blog: http://reputablejournal.com

Set up a time to meet with me.


On Jul 24, 2026, at 4:21 PM, 'Rob Beezer' via PreTeXt development <prete...@googlegroups.com> wrote:

I'm teaching my assistant to triage the (huge) backlog of issues we have accumulated (rather than relying on David Farmer, Alex Jordan, and others to do it).  So if something happens on an issue that is near-and-dear to you (like being closed, when you think the explanation does not hold up), feel free to re-open with a comment (or ask me to re-open it if you are not the owner).

Rob

--
You received this message because you are subscribed to the Google Groups "PreTeXt development" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pretext-dev...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/pretext-dev/MTAwMDAxZU8uS1ZsLmw.1784928111%40pnsh.

Reply all
Reply to author
Forward
0 new messages