doc: document formal change lifecycle and CI methodology (!29617) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge soc2/formal-lifecycle-methodology into main Jan 12, 2022

Created by: bobheadxi

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