release: sourcegraph@4.1.3#875

philipp-spiess merged 1 commit into4.1sourcegraph/deploy-sourcegraph-docker:4.1from

publish-4.1.3sourcegraph/deploy-sourcegraph-docker:publish-4.1.3Copy head branch name to clipboard