Merge master into releases

.github/workflows/chron-release.yml

@@ -0,0 +1,29 @@
+name: "Update Tagged Releases"
+on:
+  schedule:
+  - cron: "30 8 1 * *"
+
+jobs:
+  refresh-modules:
+    name: Refresh Submodules
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@master
+      with:
+        persist-credentials: false 
+        fetch-depth: 0 
+        ref: releases
+    - name: Merge changes to releases
+      run: |
+        git config --local user.email "[email protected]"
+        git config --local user.name "GitHub Action"
+        git merge origin/master --strategy-option theirs
+        git submodule foreach 'git reset HEAD $path'   
+        git submodule foreach 'git checkout `git describe --tags $(git rev-list --tags --max-count=1)`'
+        git add -A .
+        git commit -m "Merge master into releases" -a
+    - name: Push changes
+      uses: ad-m/github-push-action@master
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        branch: releases

.github/workflows/chron.yml

@@ -0,0 +1,28 @@
+name: "Refresh Submodules"
+on:
+  schedule:
+  - cron: "0 8 * * 1"
+
+jobs:
+  refresh-modules:
+    name: Refresh Submodules
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@master
+      with:
+        persist-credentials: false # otherwise, the token used is the GITHUB_TOKEN, instead of your personal token
+        fetch-depth: 0 # otherwise, you will failed to push refs to dest repo
+    - name: Create local changes
+      run: |
+        git submodule update --init --recursive
+        git submodule update --recursive --remote
+    - name: Commit files
+      run: |
+        git config --local user.email "[email protected]"
+        git config --local user.name "GitHub Action"
+        git commit -m "Update Submodules" -a
+    - name: Push changes
+      uses: ad-m/github-push-action@master
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        branch: ${{ github.ref }}