Pavel Emelyanov c17d353718 Revert "[script/pull_github_pr.sh] Check Gating status before merging" ...

This reverts commit fac682df7e.

Again, this patch broke maintainer workflows, it needs even more care.

2024-09-27 19:12:18 +03:00

3.2 KiB

Executable File

Raw Blame History

View Raw