moonbit-pathfinding/push-to-upstream.sh

#!/bin/bash
exec "$(dirname "$0")/pushmain.sh" "$@"