Ignore CI-Deployment when GitHub merges branches on PR