Accidentally pushed my master (one PR affected)

Hi everyone,

I accidentally push my private master to main I think this PRs need to get reapplied:

In case someone has the latest RIOT on disk please push it to github again.

I'm going to bed now...

Cheers Christian

Hi, a word of advice from someone who pushed to upstream accidentally, too (though fortunately not master by now): use the git:// for your upstream remote. You can not write to those :wink:

Cheers, Martine

Yep I did this as fix for future human errors :slight_smile:

Best Christian