Rebase before pushing snapshot bump to avoid push race

[vpelikh]

Problem

The Bump SNAPSHOT version on master (final release only) step of the Release workflow failed with exit code 1 (run 32475984093).

CI/bump-snapshot.sh pulls master at the start of the script, before the ~14 minute build/deploy/javadoc phases. By the time it reaches the final push, master may have moved forward, so:

! [rejected]  master -> master (fetch first)
error: failed to push some refs
Updates were rejected because the remote contains work that you do not have locally.

set -e aborts the whole release at that point. The version bump commit is created locally but never reaches GitHub.

Fix

Rebase onto the latest origin/master right before pushing:

git commit -m "Bump version to ${NEXT_SNAPSHOT}"
git pull --rebase origin master
git push origin master

The script already pulls at the top for the initial checkout; re-pulling immediately before the push avoids the stale remote, so the final push fast-forwards.

Notes

• The rest of the pipeline (deploy, tag, draft release) had already succeeded before this step; nothing else needed changing.