Update release.sh

MiSTer-devel · Mar 8, 2024 · c889db0 · c889db0
1 parent 8ec8420
commit c889db0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/release.sh b/.github/release.sh
@@ -15,7 +15,7 @@ lines = diff_output.split('\n')
 changes = [line for line in lines if line.startswith('+') or line.startswith('-')]
 changes = [line for line in changes if not line.startswith('+++') and not line.startswith('---') and 'export COMMIT' not in line]
 
-if int(changes) >= 1:
+if len(changes) >= 1:
     print("There are changes to push:\n")
     print(diff_output)
     print('...\n')