prevent concurrent build of pushes and merge requests for the same project