Skip to content

Follow-up on dev/release

Administrator requested to merge dev-release into master

Created by: felixfbecker

I missed https://github.com/sourcegraph/sourcegraph/pull/6243, and it was faster to just do the improvements myself. Please see commit by commit

Merge request reports