sync: also trigger on a push to the sync branch

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

Author: dscho

.github/workflows/sync.yml

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