Remove git-tree-prune.
PSA [1] has been sent 3 weeks ago. Alternative git cl archive landed 1 week ago. No comments have been received since then. Also, this tool is not even in top-level depot_tools, hence outside of $PATH for most people, user impact should be very limited. [1] PSA link: https://groups.google.com/a/chromium.org/d/msg/infra-dev/K2qwUQ-mRUM/nnYcTDD8AQAJ BUG=616404 R=machenbach@chromium.org Review-Url: https://codereview.chromium.org/2077943003
Showing
Please
register
or
sign in
to comment