Skip to content

Fail push if a ref update is rejected#195

Merged
squaremo merged 1 commit intomainfrom rejected-branch-pushJul 14, 2021

Commits

Commits on Jul 13, 2021