Fix pull request triggers

Author: Nicoretti

.github/workflows/ci.yml

@@ -7,6 +7,8 @@ on:
       - "gh-pages/*"
       - "main"
       - "master"
+  pull_request:
+    types: [opened, reopened]
   schedule:
     # “At 00:00 on every 7th day-of-month from 1 through 31.” (https://crontab.guru)
     - cron: "0 0 1/7 * *"

.github/workflows/pr-merge.yml

@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - 'main'
+      - 'master'
 
 jobs:
 

todo.txt

@@ -0,0 +1,3 @@
+this should help us in the near future next couple of month to get rid of at least
+2 of your other repositories + it will simplify and harmonize our github workflows
+and tooling maintainance in our projects.