Added SourceGraph badge