<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div>Hi,<br><br>As possibly some of you know, the number of commits associated to some Agda or the standard library developers/contributors shown in<br><br><a href="https://github.com/agda/agda/graphs/contributors" target="_blank">https://github.com/agda/agda/graphs/contributors</a><br>


<br>and<br>
<br><a href="https://github.com/agda/agda-stdlib/graphs/contributors" target="_blank">https://github.com/agda/agda-stdlib/graphs/contributors</a><br><br>is wrong.<br><br>You can fix it by following the account linking instructions in<br>



<a href="https://help.github.com/articles/i-don-t-see-myself-in-the-repository-contributors-graph" target="_blank">https://help.github.com/articles/i-don-t-see-myself-in-the-repository-contributors-graph</a><br><br>You can see your used email address in the files<br>



<br>Agda: <a href="https://github.com/agda/agda/blob/master/.mailmap" target="_blank">https://github.com/agda/agda/blob/master/.mailmap</a><br><br>Standard library: <a href="https://github.com/agda/agda-stdlib/blob/master/.mailmap" target="_blank">https://github.com/agda/agda-stdlib/blob/master/.mailmap</a><br>


<br></div><div>and by running the command<br><br>$ git shortlog -nse<br></div><div><br></div><div>(If you find something wrong in the .mailmap files, make a pull request please) <br></div><div>
<br></div>Best,<span><font color="#888888"><br clear="all"><div></div></font></span></div></div><br>-- <br><div dir="ltr">Andrés<br></div>
</div>