From e9e9de665cce7da5f3728372577bec7735de856d Mon Sep 17 00:00:00 2001
From: Graeme Porteous <graeme@rgbp.co.uk>
Date: Thu, 26 Oct 2023 16:44:55 +0100
Subject: [PATCH] Update GitHub workflow events

Be explicit which event types we want to run on. This removed the
default `reopened` event type. If a PR gets reopened we should be
rebasing it rather than testing against old code.
---
 .github/workflows/ci.yml      | 3 +++
 .github/workflows/rubocop.yml | 6 +++++-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 5e2e5120ae..b11da8cec9 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,6 +4,9 @@ on:
   push:
     branches: [master, develop]
   pull_request:
+    types:
+      - opened
+      - synchronize
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
diff --git a/.github/workflows/rubocop.yml b/.github/workflows/rubocop.yml
index 1cd607e83f..12947709bc 100644
--- a/.github/workflows/rubocop.yml
+++ b/.github/workflows/rubocop.yml
@@ -1,6 +1,10 @@
 name: RuboCop
 
-on: [pull_request]
+on:
+  pull_request:
+    types:
+      - opened
+      - synchronize
 
 permissions:
   contents: read