build: explicitly set permissions for workflows

Author: Planeshifter

.github/workflows/update_contributors.yml

@@ -28,6 +28,11 @@ on:
   # Allow the workflow to be manually run:
   workflow_dispatch:
 
+# Global permissions:
+permissions:
+  # Allow read-only access to the repository contents:
+  contents: read
+
 # Workflow jobs:
 jobs:
 

.github/workflows/update_error_databases.yml

@@ -28,6 +28,11 @@ on:
   # Allow the workflow to be manually run:
   workflow_dispatch:
 
+# Global permissions:
+permissions:
+  # Allow read-only access to the repository contents:
+  contents: read
+
 # Workflow jobs:
 jobs:
 

.github/workflows/update_package_meta_data.yml

@@ -29,6 +29,11 @@ on:
     # Run the workflow every week on Sunday at 00:00 UTC:
     - cron: '0 0 * * 0'
 
+# Global permissions:
+permissions:
+  # Allow read-only access to the repository contents:
+  contents: read
+
 # Workflow jobs:
 jobs:
 

.github/workflows/update_repl_docs.yml

@@ -37,6 +37,11 @@ on:
   # Allow the workflow to be manually run:
   workflow_dispatch:
 
+# Global permissions:
+permissions:
+  # Allow read-only access to the repository contents:
+  contents: read
+
 # Workflow jobs:
 jobs: