mirror of
https://github.com/MarekWo/mc-webui.git
synced 2026-07-27 12:02:38 +02:00
ed2cf07e73
Pushing the tag drags the commit objects to GitHub, so the release page looks correct while the main branch still points at older code - exactly what happened on the 2.1.0 release, where origin/main stayed on the previous merge. The script now fetches origin/main and refuses unless the local HEAD matches it, naming the push command. Also spells out what to do when VERSION still carries a -dev suffix, since the format check alone did not say which way to resolve it. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>