Don't attempt to delete remote branch after a PR has landed.#42
Merged
ZolotukhinM merged 1 commit intomainfrom Oct 12, 2024
Merged
Don't attempt to delete remote branch after a PR has landed.#42ZolotukhinM merged 1 commit intomainfrom
ZolotukhinM merged 1 commit intomainfrom