.commit_docs.sh: handle the situation where the doc branch is a remote-tracking branch