metrics: rebase-and-retry the commit-back push

[christiankissig]

Summary

The first live metrics run did everything correctly (fetched the AFP, measured, updated the README) but the final commit-back push was rejected — master advanced during the ~10-minute run (PR #11 was merged meanwhile), so the bot's commit was based on stale master (! [rejected] ... (fetch first)).

Fix: after committing, rebase onto origin/master and retry the push a few times, so a concurrent merge during the run doesn't fail the job.

git commit -m "chore: update AFP metrics [skip ci]" || { echo "no changes"; exit 0; }
for attempt in 1 2 3 4 5; do
  if git push; then exit 0; fi
  git pull --rebase --autostash origin master
done

(Metrics-vs-metrics overlap is already prevented by the concurrency group; this handles metrics-vs-human-merge.)

🤖 Generated with Claude Code