I'm not sure of the usual cadence/process here, but is there a way I could request a point release now that https://github.com/runatlantis/atlantis/pull/3747 is merged so that 0.25.X is usable for gitlab again?