ff07714b85
This corresponds to https://github.com/msys2/msys2-runtime/pull/85. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
47 lines
1.5 KiB
Diff
47 lines
1.5 KiB
Diff
From c4438da53f45d28057df9b224c601ea1a35977ec Mon Sep 17 00:00:00 2001
|
|
From: Johannes Schindelin <johannes.schindelin@gmx.de>
|
|
Date: Fri, 22 Nov 2019 11:20:22 +0100
|
|
Subject: [PATCH 24/N] Set up a GitHub Action to keep in sync with Cygwin
|
|
|
|
This will help us by automating an otherwise tedious task.
|
|
|
|
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
|
|
---
|
|
.github/workflows/sync-with-cygwin.yml | 24 ++++++++++++++++++++++++
|
|
1 file changed, 24 insertions(+)
|
|
create mode 100644 .github/workflows/sync-with-cygwin.yml
|
|
|
|
diff --git a/.github/workflows/sync-with-cygwin.yml b/.github/workflows/sync-with-cygwin.yml
|
|
new file mode 100644
|
|
index 0000000..57bd30e
|
|
--- /dev/null
|
|
+++ b/.github/workflows/sync-with-cygwin.yml
|
|
@@ -0,0 +1,24 @@
|
|
+name: sync-with-cygwin
|
|
+
|
|
+# File: .github/workflows/repo-sync.yml
|
|
+
|
|
+on:
|
|
+ workflow_dispatch:
|
|
+ schedule:
|
|
+ - cron: "42 * * * *"
|
|
+jobs:
|
|
+ repo-sync:
|
|
+ runs-on: ubuntu-latest
|
|
+ permissions:
|
|
+ contents: write
|
|
+ steps:
|
|
+ - name: Fetch Cygwin's latest master and tags
|
|
+ run: |
|
|
+ git init --bare
|
|
+ # Potentially use git://sourceware.org/git/newlib-cygwin.git directly, but GitHub seems more reliable
|
|
+ git fetch https://github.com/cygwin/cygwin master:refs/heads/cygwin/master 'refs/tags/*:refs/tags/*'
|
|
+ - name: Push to our fork
|
|
+ env:
|
|
+ GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
+ run: |
|
|
+ git push https://$GITHUB_ACTOR:$GITHUB_TOKEN@github.com/$GITHUB_REPOSITORY refs/heads/cygwin/master 'refs/tags/*:refs/tags/*'
|
|
--
|
|
2.34.1
|
|
|