dir=.
fi
+# this file needs to have our sourceforge password in it.
+PASSWORD_FILE="$HOME/.secrets/sourceforge_password"
+
+if [ ! -f "$PASSWORD_FILE" ]; then
+ echo "This script requires a password stored in the file:"
+ echo " $PASSWORD_FILE"
+ exit 1
+fi
+
pushd "$dir"
git fetch upstream
git merge upstream/master
-git push origin master
+unset GIT_SSH
+git push origin master <"$PASSWORD_FILE"
popd
+
+