<blockquote>
<p>what's your opinion on the options to proceed now?</p>
</blockquote>
<p>I would keep <a class="user-mention" data-hovercard-type="user" data-hovercard-url="/hovercards?user_id=4679640" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/kaspar030">@kaspar030</a>'s fork because moving it to the RIOT-OS organization would give the message of a more "long term" setup, which is not expected IMHO. It's better to PR the changes required in fork to the upstream micropython repo. Once it's merged the target commit and url of the package can be updated easily.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/RIOT-OS/RIOT/pull/2968?email_source=notifications&email_token=ABE7WYCSMGFPLIAQ5QDW36DQIYX3HA5CNFSM4BCZTYMKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD6HHAJY#issuecomment-529428519">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABE7WYH33V77RVENARH4EJDQIYX3HANCNFSM4BCZTYMA">mute the thread</a>.<img src="https://github.com/notifications/beacon/ABE7WYEH2RE2Z47G6QROCOLQIYX3HA5CNFSM4BCZTYMKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD6HHAJY.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/RIOT-OS/RIOT/pull/2968?email_source=notifications\u0026email_token=ABE7WYCSMGFPLIAQ5QDW36DQIYX3HA5CNFSM4BCZTYMKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD6HHAJY#issuecomment-529428519",
"url": "https://github.com/RIOT-OS/RIOT/pull/2968?email_source=notifications\u0026email_token=ABE7WYCSMGFPLIAQ5QDW36DQIYX3HA5CNFSM4BCZTYMKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD6HHAJY#issuecomment-529428519",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>