remove traces of doc/misc/README.md

Author: emanuel-schmid

.github/scripts/setup_devbranch.sh

@@ -11,15 +11,13 @@ git pull
 
 git checkout origin/main \
     setup.py \
-    doc/misc/README.md \
     CHANGELOG.md \
     */_version.py
 
 release=`python .github/scripts/setup_devbranch.py`
 
 git add \
     setup.py \
-    doc/misc/README.md \
     CHANGELOG.md \
     */_version.py
 

.github/workflows/make-release.yml

@@ -1,7 +1,7 @@
 # This workflow will create a new release from main
 
 # the new version number is the old one increased by 1 in the given level [major, minor, patch]
-# first, some files are modified (_version.py, setup.py, CHANGELOG.md and doc/misc/README.md)
+# first, some files are modified (_version.py, setup.py and CHANGELOG.md
 # then, a new release is created on GitHub, tagged with v[new version number]
 
 name: Create a new release

.github/workflows/postrelease-setup-devbranch.yml

@@ -2,7 +2,6 @@
 
 # the version number of setup.py and _version.py will be taken from main, but have a "-dev" appendix
 # the CHANGELOG.md file will be updated and have a vanila "Unreleased" section
-# the doc/misc/README.md file is taken over from main
 
 name: Post-release develop setup