From c8e3d7e536bd7f7e241a0ce2b3b3a643688f4295 Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Thu, 13 Aug 2020 15:42:29 +0200
Subject: [PATCH] check-migrations: use bash instead of dash

---
 check-migrations.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/check-migrations.sh b/check-migrations.sh
index 6471aee..4e71f5a 100755
--- a/check-migrations.sh
+++ b/check-migrations.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -e