commit 88b514af5185b80e7a523bd5fee6ca9e8ab7c5ea
Author: Claudio André <claudioandre br gmail com>
Date: Sun May 13 22:08:30 2018 -0300
CI: add more badges
They might be useful to the end user.
[skip ci]
README.md | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
---
diff --git a/README.md b/README.md
index 0fb7be36..f50d72b5 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,9 @@
[](https://gitlab.gnome.org/GNOME/gjs/pipelines)
-[](https://gnome.pages.gitlab.gnome.org/gjs/)
+[](https://gnome.pages.gitlab.gnome.org/gjs/)
+[](https://gitlab.gnome.org/GNOME/gjs/graphs/master)
+[](https://gitlab.gnome.org/GNOME/gjs/tree/master)
+[](https://gitlab.gnome.org/GNOME/gjs/commits/master)
+[]()
[](https://gitlab.gnome.org/GNOME/gjs/blob/master/COPYING)
[](https://gitlab.gnome.org/GNOME/gjs/blob/master/COPYING)