Race condition on creating a deployment PR

There was a race condition observed:

precondition: deployment branch deploy/name and PR exists
a new gitops workflow run that include update to the deployment
prer in the run fetches the repo with deploy/* branches and start rendering manifests
original PR 1 merged and branch automatically deleted
prer in the run pushes the updated deployment branch and creates a new PR

As a result, the newly created branch and PR includes exact copy of the commits history from the original branch which causes a merge conflict since changes are already present in the target branch (main)

Es sind keine Dateien oder Tests genannt. Beginne damit, den GitOps-Workflow anhand der hier beschriebenen Sequenz aus dem fetch des Deployment-Branches, dem Rendern des Manifests, dem push und der Erstellung des PRs nachzuverfolgen, und reproduziere dann das Race zwischen Merge und Branch-Löschung. Erledigt ist es, wenn ein erneuter Lauf nach dem Mergen des ursprünglichen PRs einen Deployment-Branch und PR erstellt, ohne Commits erneut abzuspielen, die bereits auf main vorhanden sind, oder einen Merge-Konflikt zu verursachen.

Vom Indexierungsmodell aus dem Issue-Text verfasst.