git branch --set-upstream-to requires that remote-tracking branch
web/master already exists. Use git push -u instead.
dest_dir="$directories/$dest_dir"
fi &&
git remote add web "$HOME"/Internet/WWW/htdocs/git.phdru.name/"$dest_dir" &&
dest_dir="$directories/$dest_dir"
fi &&
git remote add web "$HOME"/Internet/WWW/htdocs/git.phdru.name/"$dest_dir" &&
-exec git branch --set-upstream-to=web/master master
+exec git push --set-upstream web master