[ET Trac] #2551: include RePriMand in the ET

#2551: include RePriMand in the ET

Reporter: Roland Haas Status: open Milestone: ET_2021_11 Version: development version Type: enhancement Priority: major Component:

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](mailto:commits@einsteintoolkit.org) as the recipient of push event emails in [https://github.com/GITHUB%5C_USER%5C_NAME/REPO%5C_NAME/settings/notification...) .

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