Update ChibiOS, ChibiOS-Contrib. (#13056)
* Update ChibiOS, ChibiOS-Contrib. * Add instructions. * Wrong remote name * Explicit version tag. * Add link to procedure on the breaking changes page.
This commit is contained in:
parent
5c6c37e3a9
commit
554c36a055
4 changed files with 62 additions and 2 deletions
|
@ -96,3 +96,7 @@ This happens immediately after the previous `develop` branch is merged.
|
|||
* [ ] Create a PR for `develop`
|
||||
* [ ] Make sure travis comes back clean
|
||||
* [ ] Merge `develop` PR
|
||||
|
||||
## Post-merge operations
|
||||
|
||||
* (Optional) [update ChibiOS + ChibiOS-Contrib on `develop`](chibios_upgrade_instructions.md)
|
Loading…
Add table
Add a link
Reference in a new issue