3 new commits pushed to

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

by javuto

<https://github.com/jmpsec/osctrl/commit/72ff2990c765fa814cbcb99bd0af6ef8c874e96a|72ff2990>

- Vulnerability monitoring follow-ups: escalation alerts, hardening and metrics

<https://github.com/jmpsec/osctrl/commit/8ab28f88de44e09f9f52c30a9e91d5ebc937e89b|8ab28f88>

- Potential fix for pull request finding 'CodeQL / Incorrect conversion between integer types'

<https://github.com/jmpsec/osctrl/commit/316925efdafe86ba23a12370412802fa8e6e54c0|316925ef>

- Merge pull request #1081 from jmpsec/vulnerability-monitoring-followups jmpsec/osctrl