[riot-notifications] [RIOT] move all private branches to private repos (#121)

Christian Mehlis notifications at github.com
Tue Aug 27 11:01:32 CEST 2013

@thomaseichinger  in boards there is this guy: https://github.com/RIOT-OS/boards/tree/mc1322x

if it's already merged, just hit `git push <remotename> :mc1322x` (the colon removes the branch tag)

Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20130827/4ee91399/attachment.html>

More information about the notifications mailing list