Document site-credentials in Batch Changes (!20144) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge es/document-site-credentials into main Apr 19, 2021

Created by: eseliger

This adds documentation pages for site credentials in Batch Changes.

Closes https://github.com/sourcegraph/sourcegraph/issues/19571