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

Martin Lenders notifications at github.com
Mon Aug 12 13:06:31 CEST 2013


If they are qlready merged anyone can delete them with ``git push origin :<branchname>`` no review by the owners should be needed. 

---
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/issues/121#issuecomment-22486156
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20130812/6cc2e33b/attachment.html>


More information about the notifications mailing list