From 9feadebfdc15e0b049a879bdbd4e7182685d6a81 Mon Sep 17 00:00:00 2001
From: Anthony Sottile <asottile@umich.edu>
Date: Thu, 30 Jan 2020 21:21:43 -0800
Subject: [PATCH] Add github action to auto-update

---
 .github/workflows/main.yml | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 .github/workflows/main.yml

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
new file mode 100644
index 0000000..68de3bc
--- /dev/null
+++ b/.github/workflows/main.yml
@@ -0,0 +1,23 @@
+name: main
+on:
+  push:
+    branches: [master]
+  schedule:
+  - cron: '30 8 * * *'
+
+jobs:
+  build:
+    name: main
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v1
+    - uses: actions/setup-python@v1
+    - run: pip install pre-commit-mirror-maker
+    - run: git config --global user.name pre-commit
+    - run: git config --global user.email pre-commit@example.com
+    - run: pre-commit-mirror . --language=python --package-name=mypy --types=python --args=--ignore-missing-imports,--scripts-are-modules --require-serial
+    - run: |
+        git remote set-url origin https://x-access-token:$GH_TOKEN@github.com/$GITHUB_REPOSITORY
+        git push origin HEAD:refs/heads/master --tags
+      env:
+        GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}