if [ "`cat \"$source_dir\"/.git/description`" = \
"Unnamed repository; edit this file 'description' to name the repository." ]
then
- "${VISUAL:-${EDITOR:-vi}}" "$source_dir"/.git/description description
+ `git var GIT_EDITOR` "$source_dir"/.git/description description
else
cp -p "$source_dir"/.git/description . && chmod a+r description
fi &&
cd "$HOME"/tmp &&
mv "$dest_dir" "$HOME"/Internet/WWW/htdocs/git.phdru.name/"$directories" &&
+echo "$HOME"/Internet/WWW/htdocs/git.phdru.name/"$directories/$dest_dir" >> "`dirname \"$0\"`"/locate-all.list &&
umask 077 &&
cd "$source_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