./util/update_lints.py
-git status --short | sort | grep -v README.md | grep -v helper.txt > helper.txt
+git status --short | sort | grep -v README.md | grep -v helper.txt | sort > helper.txt
# abort if the files differ
diff "publish.files" "helper.txt"
# add all changed files
git add .
-git commit -m "version bump"
+git commit -m "Bump the version"
set +e