Comment (by Roland Haas):

It’s not super important (since RePrimAnd is not yet compiled by default) you may consider to hook yourself up to the ET commits mailing list (like the ET thorns do) by setting up commits@einsteintoolkit.org as the recipient of push event emails in https://github.com/GITHUB_USER_NAME/REPO_NAME/settings/notifications/edit .

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2551/include-reprimand-in-the-et