File tree navigation on GitHub? Yes, please #1 Post by attfarhan » Wed, Aug 09, 2017, 8:02 PM UTC File tree navigation on GitHub? Yes, pleaseabout.sourcegraph.com