Remove branch no longer needed

SpiNNakerManchester · Apr 30, 2024 · e498029 · e498029
1 parent 9d134b6
commit e498029
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -15,7 +15,7 @@
 name: Publish
 on:
   push:
-    branches: [ master, write_permission ]
+    branches: [ master ]
 
 env:
   ROOT_DOC_DIR: doc/global