From eca59114dd4a1792d54d5b678f70abc2272d467c Mon Sep 17 00:00:00 2001
From: Benoit Marty <benoit@matrix.org>
Date: Wed, 13 Mar 2019 17:50:03 +0100
Subject: [PATCH] Setup various tools

---
 tools/travis/check_pr.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/tools/travis/check_pr.sh b/tools/travis/check_pr.sh
index 1e59f2b5..4c0d9611 100755
--- a/tools/travis/check_pr.sh
+++ b/tools/travis/check_pr.sh
@@ -23,7 +23,7 @@ branch=${TRAVIS_BRANCH}
 # If not on develop, exit, else we cannot get the list of modified files
 # It is ok to check only when on develop branch
 if [[ "${branch}" -eq 'develop' ]]; then
-    echo "Check that the file 'CHANGES.rst' has been modified"
+    echo "Check that the file 'CHANGES.md' has been modified"
 else
     echo "Not on develop branch"
     exit 0
@@ -37,9 +37,9 @@ listOfModifiedFiles=`git diff --name-only HEAD ${branch}`
 # echo ${listOfModifiedFiles}
 
 
-if [[ ${listOfModifiedFiles} = *"CHANGES.rst"* ]]; then
-  echo "CHANGES.rst has been modified!"
+if [[ ${listOfModifiedFiles} = *"CHANGES.md"* ]]; then
+  echo "CHANGES.md has been modified!"
 else
-  echo "❌ Please add a line describing your change in CHANGES.rst"
+  echo "❌ Please add a line describing your change in CHANGES.md"
   exit 1
 fi