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