diff --git a/.github/has-functional-changes.sh b/.github/has-functional-changes.sh
index 228bf898..48f97805 100755
--- a/.github/has-functional-changes.sh
+++ b/.github/has-functional-changes.sh
@@ -1,6 +1,6 @@
 #! /usr/bin/env bash
 
-IGNORE_DIFF_ON="README.md CONTRIBUTING.md Makefile .gitignore .github/* setup.py"
+IGNORE_DIFF_ON="README.md CONTRIBUTING.md Makefile .gitignore .github/*"
 
 last_tagged_commit=`git describe --tags --abbrev=0 --first-parent`  # --first-parent ensures we don't follow tags not published in master through an unlikely intermediary merge commit
 
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index 958eae87..41c21e31 100644
--- a/.github/workflows/workflow.yml
+++ b/.github/workflows/workflow.yml
@@ -133,9 +133,7 @@ jobs:
     needs: [ check-for-functional-changes ]
     if: needs.check-for-functional-changes.outputs.status == 'success'
     permissions:
-            #id-token is mandatory for trusted publishing
             id-token: write
-            #contents is mandatory for git tag publishing
             contents: write
     steps:
       - uses: actions/checkout@v3