Gazebo Jetty is now Feature frozen! Open PRs that are likely to be merged before the code freeze (2025-08-25T00:00:00Z) now have the Jetty Release milestone applied to them[1]. You can find a new view on the project board that filters open PRs by the milestone (Core development · GitHub). If one of your PRs has been assigned the milestone, please try to make progress on the PR so it can be merged in a timely manner. If you don’t think it can be merged before the code freeze, please comment on the PR stating so and we’ll remove it from the milestone.
Thanks,
The Gazebo Dev Team 
In the past we used the
betalabel to designate PRs meant to be included in the release. ↩︎