From 452c53b5729da5977610170a1027b270cdb05ce3 Mon Sep 17 00:00:00 2001
From: Martin van der Schelling
 <61459087+mpvanderschelling@users.noreply.github.com>
Date: Sat, 28 Oct 2023 18:06:47 -0400
Subject: [PATCH] changed github workflows

---
 .github/workflows/pr_to_pr.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/pr_to_pr.yml b/.github/workflows/pr_to_pr.yml
index 224f7909..1861700f 100644
--- a/.github/workflows/pr_to_pr.yml
+++ b/.github/workflows/pr_to_pr.yml
@@ -1,9 +1,12 @@
-name: Pull request to pr/** branches
+name: Pull request and push to pr/** branches
 
 on:
   pull_request:
     branches:
       - "pr/**"
+  push:
+    branches:
+      - "pr/**"
 
 jobs:
   check-coding-style: