New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
move all private branches to private repos #121
Comments
|
If they are qlready merged anyone can delete them with |
changed this one to milestone .1, because of one missing not merged branch. |
The last open branch is mc1322x - @thomaseichinger can you take a look at this branch and delete if it does not contain any relevant code? |
Branch mc1322x is deleted |
@thomaseichinger in boards there is this guy: https://github.com/RIOT-OS/boards/tree/mc1322x if it's already merged, just hit |
Done. |
doc:update coding_conventions
In the current official RIOT git repo there are 3 private branches:
https://github.com/RIOT-OS/RIOT/branches
click on
View merged branches.
the "owners" should delete them before we have release 1.
The text was updated successfully, but these errors were encountered: