sync-git-mailing-list-mirror: do not trigger on push

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho

.github/workflows/sync-git-mailing-list-mirror.yml

@@ -4,8 +4,6 @@ on:
   workflow_dispatch:
   schedule:
     - cron:  "2,7,12,17,22,27,32,37,42,47,52,57 * * * *"
-  push:
-    branches: [ sync ]
 
 env:
   LORE_EPOCH: 1