discord git code search development environment files docs