[riot-devel] Accidentally pushed my master (one PR affected)
authmillenon at gmail.com
Wed Jan 15 10:33:48 CET 2014
a word of advice from someone who pushed to upstream accidentally, too
(though fortunately not master by now): use the git://
github.com/RIOT-OS/RIOT for your upstream remote. You can not write to
2014/1/15 Christian Mehlis <christian at m3hlis.de>
> Hi everyone,
> I accidentally push my private master to main repository...so 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
> devel mailing list
> devel at riot-os.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the devel