Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Do not block apt publishing if there is a more current pre-release (#…
…10806) We do not publish pre-releases to apt repos, but we do publish them to github. That means we need to filter them out when considering if an apt release should be published. We don't want v8.3.3 to be blocked by v9.0.0-dev.1, only by v9.0.0. Honestly, this is a bit of a mess, but it only needs to hold out a bit longer until #10746 lands. Contributes to #10800 (cherry picked from commit 08bc483) Co-authored-by: Roman Tkachenko <[email protected]>
- Loading branch information