`GitLogTip` only works in git repo's root
lonix1 opened this issue · comments
GitLogTip("myrepo/") - OK
GitLogTip("myrepo/foo/src")
Error: Path '/home/username/myrepo/foo/src' doesn't point at a valid Git repository or workdir.
Although that is a valid git repo - technically the git commands should work at any level within the repo. So I was expecting the same would be done by this addin.
The code looks as if it does some tree traversal, so maybe the basic functionality is already there?