You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Aug 25, 2018. It is now read-only.
BTW, I found a bug(?)
When gvt fetch github.com/zchee/foo, fetch the zchee/foo to $PKG_ROOT/vendor directory. It's ok.
but, If I used gvt delete github.com/zchee/foo, delete $PKG_ROOT/github.com/zchee/foo/* files, but $PKG_ROOT/github.com/zchee/foo directory still remains.
This empty directory will be ignored git flow, but shouldn't vender/github.com/zchee/foo also be deleted?
I think gb also have this problem.(tested) so caused by any internal logic.
I considered that, but post to gvt because I'm using every day.
The text was updated successfully, but these errors were encountered:
zchee
changed the title
Unnecessary directory
Remain unnecessary directory when delete
Sep 29, 2016
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Hi @FiloSottile, Thanks great vendoring tools :)
BTW, I found a bug(?)
When
gvt fetch github.com/zchee/foo
, fetch thezchee/foo
to$PKG_ROOT/vendor
directory. It's ok.but, If I used
gvt delete github.com/zchee/foo
, delete$PKG_ROOT/github.com/zchee/foo/*
files, but$PKG_ROOT/github.com/zchee/foo
directory still remains.This empty directory will be ignored
git
flow, but shouldn'tvender/github.com/zchee/foo
also be deleted?I think
gb
also have this problem.(tested) so caused by any internal logic.I considered that, but post to gvt because I'm using every day.
The text was updated successfully, but these errors were encountered: