diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-21 01:19:53 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-21 16:22:28 +0100 |
| commit | 7376ab4e0011581acd76bd90a62073c63026f401 (patch) | |
| tree | 7e65df6139bce81389ba8dc53bac106858a240a4 /Debian | |
| parent | 18328a4af50e91cc8899bb519548b505af548abe (diff) | |
Dgit.pm: Abolish now-unused $t_local_git_cfg playtree_setup arg
This was there so that dgit's -c options would be honoured here.
But now, we get this information via @git, which dgit adds -c
options to, which we pass to git-playtree-create by invoking it
via git.
So this is no longer used and can be abolished.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'Debian')
| -rw-r--r-- | Debian/Dgit.pm | 6 |
1 files changed, 2 insertions, 4 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 |