<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="moz-cite-prefix">Hello,</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">Just a few minutes ago I created a
postume account for Jos on github : his username is @joslemmens.</div>
<div class="moz-cite-prefix"> It is connected to the email adres
<a class="moz-txt-link-abbreviated" href="mailto:acjlemmens@gmail.com">acjlemmens@gmail.com</a> to which I still have access.<br>
</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">Hope this is what you had in mind?</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">Best,</div>
<div class="moz-cite-prefix">Kees<br>
</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">On 2/10/22 15:01, Samuel Thibault
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:20220210140139.s2elbna4rnm2iiqw@begin">
<pre class="moz-quote-pre" wrap="">Hello Kees,
Colomban Wendling, le jeu. 10 févr. 2022 14:59:54 +0100, a ecrit:
</pre>
<blockquote type="cite">
<pre class="moz-quote-pre" wrap="">Le 10/02/2022 à 14:40, Paul Gevers a écrit :
</pre>
<blockquote type="cite">
<pre class="moz-quote-pre" wrap="">On 10-02-2022 14:18, Samuel Thibault wrote:
</pre>
<blockquote type="cite">
<pre class="moz-quote-pre" wrap="">(unfortunately github doesn't list developers who don't have a github
account, so Jos doesn't appear as contributor of the whole thing :/ )
</pre>
</blockquote>
<pre class="moz-quote-pre" wrap="">
I have no idea if github is open to this, but maybe we can ask them to
pull some strings in the background?
</pre>
</blockquote>
<pre class="moz-quote-pre" wrap="">
An unelegant solution could simply be making a posthumous account with
the email address used in the commit messages, given somebody still has
control over it and is willing to validate the email.
</pre>
</blockquote>
<pre class="moz-quote-pre" wrap="">
Perhaps Kees you can do this?
Samuel
</pre>
<blockquote type="cite">
<pre class="moz-quote-pre" wrap="">I guess if GitHub was to agree on doing something on their side it would
likely be setting up an account and manually force-verify that email
address, but then the question of who can manage that account stays open.
Just a couple thoughts, but I don't have a real opinion on what the best
is, but the contributors list currently definitely looks wrong.
</pre>
</blockquote>
<pre class="moz-quote-pre" wrap="">
</pre>
</blockquote>
<p><br>
</p>
</body>
</html>