[riot-devel] Accidentally pushed my master (one PR affected)

Martin Lenders 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
those ;-)


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:
> https://github.com/RIOT-OS/RIOT/pull/497
> 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
> http://lists.riot-os.org/mailman/listinfo/devel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/devel/attachments/20140115/a16b6fe8/attachment.html>

More information about the devel mailing list