Resolve race of MR merge and source branch deletion
Currently the "merge" action also deletes the source branch. This leads to a race in GitLab event processing order.
Instead of deleting the source branch as part of the merge action, we should do so when we get the event that the MR has been merged. That will eliminate the race.