Currently, in .github/workflows/releases.yaml we use auto_pull.py, which uses pull.sh. This is not a powerful enough script, since it doesn't update the version of our Maven plugin, but only the version of dependencies. I suggest using upgrade.sh instead -- it updates everything.