chiark
/
gitweb
/
~ianmdlvl
/
dgit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
dgit clone: No longer create an "origin" remote
[dgit.git]
/
git-debpush
diff --git
a/git-debpush
b/git-debpush
index 1bfb0936c2e934087b50e4a2f3ec482e0af3cb37..5b99e72abaad4e4880ba613c796554420513aad3 100755
(executable)
--- a/
git-debpush
+++ b/
git-debpush
@@
-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