chiark / gitweb /
dgit clone: No longer create an "origin" remote
[dgit.git] / git-debpush
index ca737d20a97fd341dff16a10d46329b62e60dfac..5b99e72abaad4e4880ba613c796554420513aad3 100755 (executable)
@@ -38,7 +38,8 @@ set -o pipefail
 # **** Helper functions and variables ****
 
 us="$(basename $0)"
-git_playtree_create=git-playtree-create ###substituted###
+git_playtree_setup=git-playtree-setup ###substituted###
+git_playtree_setup=${DEBPUSH_GIT_PLAYTREE_SETUP-$git_playtree_setup}
 
 cleanup() {
     if [ -d "$temp" ]; then