From fb2a95df49c9ea143bcf17953231f6011d1e5ffe Mon Sep 17 00:00:00 2001
From: Federico Kunze <31522760+fedekunze@users.noreply.github.com>
Date: Sun, 7 Jun 2020 17:08:19 -0400
Subject: [PATCH] readme: add sourcegraph badge (#6362)
---
README.md | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/README.md b/README.md
index 39c7e5a8b2..6707950f07 100644
--- a/README.md
+++ b/README.md
@@ -17,10 +17,10 @@ parent:
-
+
-
+
@@ -32,6 +32,9 @@ parent:
+
+
+