File tree navigation on GitHub? Yes, pleaseabout.sourcegraph.com2 points·attfarhan··0 commentsOpen articleSaveView on HN