2 new commits pushed to

<https://github.com/jmpsec/osctrl/tree/develop|develop>

by javuto

<https://github.com/jmpsec/osctrl/commit/d3e2fb40f160d2785019b6b46223a0e84b2602b9|d3e2fb40>

- Adapt CI pipelines to have develop as default branch

<https://github.com/jmpsec/osctrl/commit/7f1b4c6f235542f144ef045331bf3acc141f5fc4|7f1b4c6f>

- Merge pull request #844 from jmpsec/develop-default-branch jmpsec/osctrl