mirrors/element-android
1
0
Fork 0
mirror of https://github.com/element-hq/element-android synced 2024-11-27 11:59:12 +03:00
Code Issues Projects Releases Packages Wiki Activity

Setup various tools

Browse source
This commit is contained in:
Benoit Marty 2019-03-13 17:50:03 +01:00
parent a199eaa171
commit eca59114dd
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
tools/travis/check_pr.sh
View file

@ -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