Issue #9549 resolved
New directory not visible in source
I created a new directory under my existing git repo
then I did
git add mydir/
git commit -m "msg"
but the mydir does not show in source although the commit and push were succesful
what is this issue?