Force-push to existing open Docker Library MRs instead of opening new ones
Recently I opened three concurrent MRs on the Docker Library repository and wasn't able to close them myself:
- https://github.com/docker-library/official-images/pull/14883
- https://github.com/docker-library/official-images/pull/14890
- https://github.com/docker-library/official-images/pull/14891
tianon / yosifkit asked if we could force push to the existing MR instead.
For this, we would need to adjust the branch name (currently contains the build date / id) and check for an existing MR.
Alternatively, the bot user could close the old MR?