<!-- _Note_: Tracking issues are meta-level issues meant to capture smaller units of work that contribute to a larger initiative. As such, tracking issues should always be tagged with either the 'tracking' label or the 'okr' label. The 'okr' label should be applied when the tracking issue maps directly with a quarterly OKR activity. Additionally, the OKR-labeled issue should also be linked to in the Workflow Explorer. Not all tracking issues will map with OKRs. Such issues should thus be tagged with the 'tracking' label. --> ## Background <!-- Short description of the motivation and relevant background for this effort --> ## Tasks <!-- Add tasks/issues that contribute to this effort here --> - [ ] https://github.com/informalsystems/hermes/releases ____ #### For Admin Use - [ ] https://github.com/informalsystems/hermes/labels/tracking or https://github.com/informalsystems/hermes/labels/okr label (as well as any other appropriate labels) applied - [ ] Appropriate milestone (priority) applied - [ ] Appropriate contributors tagged
Background
Tasks
For Admin Use