Timothy Hodson

I'm okay making it (slightly) harder to commit a pdf, but that's up to you. Then perhaps ignore everything in PDF except the pdf's with ``` PDF/* !PDF/*.pdf ```

My justification being that `git` stores the entire file for each commit---not a diff--- so a careless user will commit numerous pdfs during the lifecycle of a document, bloating the...

Wow, nice. Colab, sure, but I think you've already done most of the work that would be needed for an article, if not in TUGboat perhaps JOSS, which is also...

Email [email protected] or create a discussion on github. I'd be happy to meet on Zoom too. It might be helpful to learn your background before trying to give advice. As...

@sanjib-sen, I was too slow. Sorry