merge_with_upstream.sh

#!/bin/bash -e
git checkout "$1"
git remote add upstream https://github.com/unifyai/mech.git || true
git fetch upstream
git merge upstream/main --no-edit
git push