Add back build badge (!219) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge build-badge into master Oct 02, 2018

Created by: felixfbecker

https://github.com/sourcegraph/sourcegraph/pull/164#issuecomment-426288311