diff options
-rw-r--r-- | Debian/Dgit.pm | 6 | ||||
-rwxr-xr-x | dgit | 2 |
2 files changed, 3 insertions, 5 deletions
diff --git a/Debian/Dgit.pm b/Debian/Dgit.pm index 9d4e78e..8ed8364 100644 --- a/Debian/Dgit.pm +++ b/Debian/Dgit.pm @@ -987,7 +987,7 @@ sub reflog_cache_lookup ($$) { # changedir playground # changedir $maindir # -# playtree_setup $local_git_cfg +# playtree_setup # # ^ call in some (perhaps trivial) subdir of playground # # rmtree playground @@ -1046,9 +1046,7 @@ sub fresh_playground ($) { # ----- playtrees ----- -sub playtree_setup (;$) { - my ($t_local_git_cfg) = @_; - $t_local_git_cfg //= $local_git_cfg; +sub playtree_setup () { # for use in the playtree # $maindir must be set, eg by calling record_maindir or fresh_playground # this is confusing: we have @@ -1834,7 +1834,7 @@ sub prep_ud () { } sub mktree_in_ud_here () { - playtree_setup $gitcfgs{local}; + playtree_setup(); } sub git_write_tree () { |