Skip to content

Do not push if pull request (needs to be a push to the branch) #712

Do not push if pull request (needs to be a push to the branch)

Do not push if pull request (needs to be a push to the branch) #712