<2 new commits> pushed to `<https://github.com/jmp...
# osctrl
g
2 new commits pushed to
<https://github.com/jmpsec/osctrld/tree/develop|develop>
by javuto
<https://github.com/jmpsec/osctrld/commit/1384d0a7a91639af5f678dc364c6560e5349fd8a|1384d0a7>
- Adapt CI pipelines to have develop as default branch
<https://github.com/jmpsec/osctrld/commit/3d7645d06f6ff02ae94532606f4137fc5eef46c1|3d7645d0>
- Merge pull request #3 from jmpsec/develop-default-branch jmpsec/osctrld