commit 47f48c3f8b6cba9845812a5064fab92733362b8e
author Geoffrey Martin-Noble <gcmn@google.com> Fri Mar 20 09:40:47 2020 -0700
committer GitHub <noreply@github.com> Fri Mar 20 09:40:47 2020 -0700
tree f270b0c7a0c6a6831c473db0aafb6493d92fc55e
parent a7986da7c82251b83333b39c3467cc75c8fb1d83

Try out per-repo filtering (#1181)

.github/workflows/update_submodules.yml

diff --git a/.github/workflows/update_submodules.yml b/.github/workflows/update_submodules.yml
index de529dc..2c55dd8 100644
--- a/.github/workflows/update_submodules.yml
+++ b/.github/workflows/update_submodules.yml
@@ -18,11 +18,13 @@
 
 on:
   schedule:
-     # Every weekday at 14:00 UTC (06:00 PST/07:00 PDT)
-     - cron: '0 14 * * 1-5'
+     # Every five minutes
+     - cron: '*/5 * * * *'
 
 jobs:
   update:
+    # Don't run this in everyone's forks.
+    if: github.repository == 'gmngeoffrey/iree'
     runs-on: ubuntu-18.04
     steps:
       - name: Checking out repository