sourcegraph/dev/release/.gitignore