Doing my best Andrew imitation, "I think so....?"
The dist/ files are minified, no? So the value of follow-on commits is
less-interesting. But I still like that it is the committer's job to do the
build. I don't want to chase merge conflicts or do surgery to get PRs merged.
And I guess I don't want the pretext/pretext behavior to visibly change for
authors/publishers/developers.
I have only screwed-up once with regard to this, and it was right at the start.
But maybe my dealings are different than yours. Other than that, maybe these
changes are not impactful on my end.
Not sure if there is a detection mechanism, but I suspect a small amount of
Python could provide it?
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 <mailto:
pretext-
>
dev+uns...@googlegroups.com>.
> To view this discussion visit
https://groups.google.com/d/msgid/pretext-dev/
> CACm44N_GzmyTU1zagt217bF3gbYu18wQZnEK%2BPbA46xH0emiBQ%
40mail.gmail.com <https://
>
groups.google.com/d/msgid/pretext-dev/
> CACm44N_GzmyTU1zagt217bF3gbYu18wQZnEK%2BPbA46xH0emiBQ%
40mail.gmail.com?
> utm_medium=email&utm_source=footer>.