<div dir="ltr">Hi, <div>a word of advice from someone who pushed to upstream accidentally, too (though fortunately not master by now): use the git://<a href="http://github.com/RIOT-OS/RIOT">github.com/RIOT-OS/RIOT</a> for your upstream remote. You can not write to those ;-)</div>
<div><br></div><div>Cheers,</div><div>Martine</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">2014/1/15 Christian Mehlis <span dir="ltr"><<a href="mailto:christian@m3hlis.de" target="_blank">christian@m3hlis.de</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi everyone,<br>
<br>
I accidentally push my private master to main repository...so I think this PRs need to get reapplied:<br>
<br>
<a href="https://github.com/RIOT-OS/RIOT/pull/497" target="_blank">https://github.com/RIOT-OS/<u></u>RIOT/pull/497</a><br>
<br>
In case someone has the latest RIOT on disk please push it to github again.<br>
<br>
I'm going to bed now...<br>
<br>
Cheers Christian<br>
______________________________<u></u>_________________<br>
devel mailing list<br>
<a href="mailto:devel@riot-os.org" target="_blank">devel@riot-os.org</a><br>
<a href="http://lists.riot-os.org/mailman/listinfo/devel" target="_blank">http://lists.riot-os.org/<u></u>mailman/listinfo/devel</a><br>
</blockquote></div><br></div>