<html>#2551: include RePriMand in the ET
<table style='border-spacing: 1ex 0pt; '>
<tr><td style='text-align:right'> Reporter:</td><td>Roland Haas</td></tr>
<tr><td style='text-align:right'> Status:</td><td>open</td></tr>
<tr><td style='text-align:right'>Milestone:</td><td>ET_2021_11</td></tr>
<tr><td style='text-align:right'> Version:</td><td>development version</td></tr>
<tr><td style='text-align:right'> Type:</td><td>enhancement</td></tr>
<tr><td style='text-align:right'> Priority:</td><td>major</td></tr>
<tr><td style='text-align:right'>Component:</td><td></td></tr>
</table>
<p>Comment (by Roland Haas):</p>
<p>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 <a data-is-external-link="true" href="mailto:commits@einsteintoolkit.org" rel="nofollow">commits@einsteintoolkit.org</a> as the recipient of push event emails in <a data-is-external-link="true" href="https://github.com/GITHUB_USER_NAME/REPO_NAME/settings/notifications/edit" rel="nofollow">https://github.com/GITHUB_USER_NAME/REPO_NAME/settings/notifications/edit</a> .</p>
<p>--<br/>
Ticket URL: <a href='https://bitbucket.org/einsteintoolkit/tickets/issues/2551/include-reprimand-in-the-et'>https://bitbucket.org/einsteintoolkit/tickets/issues/2551/include-reprimand-in-the-et</a></p>
</html>