X-Git-Url: https://git.phdru.name/?a=blobdiff_plain;f=publish2web;h=1847f7a8a4d66db22c3ea977dc69f8fe397dbd52;hb=2c654e316392a8b3523ea0495902372d54548e1c;hp=567cf14736f4ba5be39d433c78a80a55319e3909;hpb=c0680b259d2ca7adfa83085358adc0b0f7b760c0;p=git-scripts.git

diff --git a/publish2web b/publish2web
index 567cf14..1847f7a 100755
--- a/publish2web
+++ b/publish2web
@@ -26,7 +26,7 @@ cp -p "$HOME"/Internet/WWW/htdocs/git.phdru.name/phdru.name/phdru.name.git/git-d
 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 &&
@@ -49,4 +49,4 @@ if [ -n "$directories" ]; then
    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