From c2bc7dfb836eadf2d44f2ef37199ac1d1fce2c93 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sun, 24 Apr 2022 23:43:47 -1000
Subject: [PATCH] ci: push: also run for simon2 branch

---
 .github/workflows/push.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index bf9f852b9..5d27af671 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -13,7 +13,7 @@ name: push CI
 
 on:
   push:
-    branches: [ simon ]
+    branches: [ simon, simon2 ]
     # Run this workflow for changes to any file, even trivial doc fixes
     # (since merging to master requires a successful run).
     # Ideally caching will keep it relatively cheap; avoid over-pushing.