.release: remove mention of obsolete .covignore file

wilfwilson · james-d-mitchell · commit d1e0ff31a9c7 · 2025-09-18T07:06:19.000+01:00
diff --git a/.release b/.release
@@ -37,7 +37,7 @@ notice_it "Running Semigroups package .release script"
 
 notice_it "Deleting additional unnecessary files"
 
-rm -f  .covignore .gaplint.yml
+rm -f  .gaplint.yml
 rm -rf ci etc
 
 # download libsemigroups
