GitHub repository: sourcegraph/codenav-bash
Primary language: JavaScript
Created: 2020-06-17T15:52:43Z
Description: A Sourcegraph extension that provides code navigation for Bash and shell scripts