Use gitignore moban

Related to https://gitlab.com/coala/mobans/issues/31
coala · Jun 7, 2018 · 9c69c5b · 9c69c5b
1 parent a8baa6d
commit 9c69c5b
Show file tree

Hide file tree

Showing 4 changed files with 419 additions and 11 deletions.
diff --git a/.ci/check_moban.sh b/.ci/check_moban.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+set -ex
+
+: "${MOBAN_BRANCH:=master}"
+
+git clone https://gitlab.com/coala/mobans \
+          --branch=${MOBAN_BRANCH} ../coala-mobans
+
+moban
+git diff --exit-code