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

[Roland Haas]

#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 at einsteintoolkit.org](mailto:commits at einsteintoolkit.org) as the recipient of push event emails in [https://github.com/GITHUB\_USER\_NAME/REPO\_NAME/settings/notifications/edit](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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.einsteintoolkit.org/pipermail/trac/attachments/20211119/21b97910/attachment.html