Remove git diffing part

Because we no bump versions
2018-08-30 07:33:53 +02:00 · 2018-08-30 07:33:53 +02:00 · 559b2f871f
parent f52dd2b8f7
commit 559b2f871f
1 changed files with 0 additions and 7 deletions
--- a/pre_publish.sh
+++ b/pre_publish.sh
@ -4,13 +4,6 @@ set -e

 ./util/update_lints.py

-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"
-
-rm helper.txt
-
 # add all changed files
 git add .
 git commit -m "Bump the version"