ci: Require up to date before merging (#14530)
closed #14412
(cherry picked from commit dd9c8af051)
This commit is contained in:
parent
2818294ac7
commit
7070be1946