Ensure that fork main branch always follows the upstream
This is a fix for the issue in scripts/tools/publish.sh
where it fails to push to remote main when it is diverged. As a result it ammends the last merge commit.
This is a fix for the issue in scripts/tools/publish.sh
where it fails to push to remote main when it is diverged. As a result it ammends the last merge commit.