Don't try to merge already merged security MRs
In https://gitlab.com/gitlab-org/release-tools/-/issues/473 we saw that Release Tools will attempt to merge security merge requests that have already been merged. This in turn leads to API errors, aborting the process.