···

       
1
       
 
       
# Simple workflow for deploying static content to GitHub Pages

     

       
2
       
-
       
name: Deploy website CI

     

       
3
       
 
       


     

       
4
       
 
       
on:

     

       
5
       
 
       
  # Runs on pushes targeting the default branch

     
···

       
8
       
 
       


     

       
9
       
 
       
  # Allows you to run this workflow manually from the Actions tab

     

       
10
       
 
       
  workflow_dispatch:

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
11
       
 
       


     

       
12
       
 
       
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages

     

       
13
       
 
       
permissions:

     
···

       
23
       
 
       


     

       
24
       
 
       
jobs:

     

       
25
       
 
       
  gh-pages:

     

       
0
       
 
       

     

       
26
       
 
       
    environment:

     

       
27
       
 
       
      name: github-pages

     

       
28
       
 
       
      url: ${{ steps.deployment.outputs.page_url }}

     
···

       
53
       
 
       
        id: deployment

     

       
54
       
 
       
        uses: actions/deploy-pages@v2

     

       
55
       
 
       
  repo-sync:

     

       
0
       
 
       

     

       
56
       
 
       
    runs-on: ubuntu-latest

     

       
0
       
 
       

     

       
57
       
 
       
    steps:

     

       
58
       
 
       
      - name: Checkout repository with full history

     

       
59
       
 
       
        uses: actions/checkout@v3

     

       
60
       
 
       
        with:

     

       
61
       
 
       
          fetch-depth: 0

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
62
       
 
       
      - name: Setup Git user details

     

       
63
       
 
       
        run: |

     

       
64
       
 
       
          git config --global user.name "Recap Time Bot"

     

       
65
       
-
       
          git config --global user.email "service-accounts+git@recaptime.eu.org"

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

···

       
1
       
 
       
# Simple workflow for deploying static content to GitHub Pages

     

       
2
       
+
       
name: deploybaut

     

       
3
       
 
       


     

       
4
       
 
       
on:

     

       
5
       
 
       
  # Runs on pushes targeting the default branch

     
···

       
8
       
 
       


     

       
9
       
 
       
  # Allows you to run this workflow manually from the Actions tab

     

       
10
       
 
       
  workflow_dispatch:

     

       
11
       
+
       


     

       
12
       
+
       
  schedule:

     

       
13
       
+
       
    - cron: "*/30 */6 * * *"

     

       
14
       
 
       


     

       
15
       
 
       
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages

     

       
16
       
 
       
permissions:

     
···

       
26
       
 
       


     

       
27
       
 
       
jobs:

     

       
28
       
 
       
  gh-pages:

     

       
29
       
+
       
    if: github.event_name == "push" || "workflow_dispatch"

     

       
30
       
 
       
    environment:

     

       
31
       
 
       
      name: github-pages

     

       
32
       
 
       
      url: ${{ steps.deployment.outputs.page_url }}

     
···

       
57
       
 
       
        id: deployment

     

       
58
       
 
       
        uses: actions/deploy-pages@v2

     

       
59
       
 
       
  repo-sync:

     

       
60
       
+
       
    name: Repository sync

     

       
61
       
 
       
    runs-on: ubuntu-latest

     

       
62
       
+
       
    if: github.event_name == "push" || "workflow_dispatch"

     

       
63
       
 
       
    steps:

     

       
64
       
 
       
      - name: Checkout repository with full history

     

       
65
       
 
       
        uses: actions/checkout@v3

     

       
66
       
 
       
        with:

     

       
67
       
 
       
          fetch-depth: 0

     

       
68
       
+
       
          ssh-key: ${{secrets.MIRRORBOT_CI_SSH_KEY}}

     

       
69
       
+
       
          ssh-known-host: |

     

       
70
       
+
       
            github.com ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABgQCj7ndNxQowgcQnjshcLrqPEiiphnt+VTTvDP6mHBL9j1aNUkY4Ue1gvwnGLVlOhGeYrnZaMgRK6+PKCUXaDbC7qtbW8gIkhL7aGCsOr/C56SJMy/BCZfxd1nWzAOxSDPgVsmerOBYfNqltV9/hWCqBywINIR+5dIg6JTJ72pcEpEjcYgXkE2YEFXV1JHnsKgbLWNlhScqb2UmyRkQyytRLtL+38TGxkxCflmO+5Z8CSSNY7GidjMIZ7Q4zMjA2n1nGrlTDkzwDCsw+wqFPGQA179cnfGWOWRVruj16z6XyvxvjJwbz0wQZ75XK5tKSb7FNyeIEs4TT4jk+S4dhPeAUC5y+bDYirYgM4GC7uEnztnZyaVWQ7B381AK4Qdrwt51ZqExKbQpTUNn+EjqoTwvqNj4kqx5QUCI0ThS/YkOxJCXmPUWZbhjpCg56i+2aB6CmK2JGhn57K5mj0MNdBXA4/WnwH6XoPWJzK5Nyu2zB3nAZp+S5hpQs+p1vN1/wsjk=

     

       
71
       
+
       
            github.com ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBEmKSENjQEezOmxkZMy7opKgwFB9nkt5YRrYMjNuG5N87uRgg6CLrbo5wAdT/y6v0mKV0U2w0WZ2YB/++Tpockg=

     

       
72
       
+
       
            github.com ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIOMqqnkVzrm0SdG6UOoqKLsabgH5C9okWi0dh2l9GKJl

     

       
73
       
+
       
            mau.dev ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABgQDJNV/VLejsM22QLGaE0IFvLAKgBzmv+KZH0YXUwakDwlkLEzqCS3vIEU7hYK6LN9//O56tY/peGsfey5jQIIJ6WFuyezNdpLpScprLukBb7baKlb5Sei5S5Gn4LdLu2927HnbK6bcCRN52DfVmrLDvfc4m9tsV9Uz/aCwGaFU7UYJUJrYsd/+o0yR6FOeZLXWyQhhJKC9e5ueI8mQEUn3h5hhU12AQuvI7c7GPpsq3zK0n1iHbmtAK+o1iuQEP7ynWkh9/9gUYJy5PufIQQYWLesR6CEC47zgBiYtCJkPLzbavrkPhb77v/5Q52hFhsla5fszXyjXG4SPnRZ+7yvlEKDrqh0kFIT5g9WSDGjiho6DrIqNYrlbHWhpfUx/g8YXsTgHqfE44LrqVyWdhpsVeW4q+kfhd7yse/QnWoc0zSrdFmqVHQlBbEQxiwslrENfXuTVpHlUGMO0OvlSPezYknjRklYkA3nFUX6Zj9LjvrgUobtbKi2w/gO+t+qZOOD8=

     

       
74
       
+
       
            mau.dev ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBMLxa34Hhx89dTu4blnP+mA5AeWNTMqRyFYrCcJIKop6FtZ571Xyt4ign4zg7QFRQ5CciO783fMPK+K/gDXXAf8=

     

       
75
       
+
       
            mau.dev ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICO76F2Bj2b1O3Q7Ln2x94kq6Ai2ev2aOyXur9XgSsM0

     

       
76
       
+
       
            git.sr.ht ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQDZ+l/lvYmaeOAPeijHL8d4794Am0MOvmXPyvHTtrqvgmvCJB8pen/qkQX2S1fgl9VkMGSNxbp7NF7HmKgs5ajTGV9mB5A5zq+161lcp5+f1qmn3Dp1MWKp/AzejWXKW+dwPBd3kkudDBA1fa3uK6g1gK5nLw3qcuv/V4emX9zv3P2ZNlq9XRvBxGY2KzaCyCXVkL48RVTTJJnYbVdRuq8/jQkDRA8lHvGvKI+jqnljmZi2aIrK9OGT2gkCtfyTw2GvNDV6aZ0bEza7nDLU/I+xmByAOO79R1Uk4EYCvSc1WXDZqhiuO2sZRmVxa0pQSBDn1DB3rpvqPYW+UvKB3SOz

     

       
77
       
+
       
            git.sr.ht ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBCj6y+cJlqK3BHZRLZuM+KP2zGPrh4H66DacfliU1E2DHAd1GGwF4g1jwu3L8gOZUTIvUptqWTkmglpYhFp4Iy4=

     

       
78
       
+
       
            git.sr.ht ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMZvRd4EtM7R+IHVMWmDkVU3VLQTSwQDSAvW0t2Tkj60

     

       
79
       
 
       
      - name: Setup Git user details

     

       
80
       
 
       
        run: |

     

       
81
       
 
       
          git config --global user.name "Recap Time Bot"

     

       
82
       
+
       
          git config --global user.email "gitops@recaptime.eu.org"

     

       
83
       
+
       
          git remote add lab ssh://git@mau.dev/ajhalili2006/tildeverse-web

     

       
84
       
+
       
          git remote add hut ssh://git@git.sr.ht/~ajhalili2006/tildeweb

     

       
85
       
+
       
      - name: configure ssh

     

       
86
       
+
       
        run: |

     

       
87
       
+
       
          echo ${{secrets.MIRRORBOT_CI_SSH_KEY}} >> ~/.ssh/ci-passwordless-key

     

       
88
       
+
       
          chmod 600 ~/.ssh/ci-passwordless-key

     

       
89
       
+
       
          eval $(ssh-agent) && ssh-add ~/.ssh/ci-passwordless-key

     

       
90
       
+
       
      - name: sync against github mirror first

     

       
91
       
+
       
        run: |

     

       
92
       
+
       
          git merge lab/main --ff-only || git rebase lab/main || echo "bailed out due to merge conflicts" && exit 1

     

       
93
       
+
       
          git push origin main

     

       
94
       
+
       
      - name: mirror

     

       
95
       
+
       
        run: |

     

       
96
       
+
       
          # only mirror main branch in meanwhile

     

       
97
       
+
       
          git push lab main --verbose -o ci.skip

     

       
98
       
+
       
          git push hut main --verbose -o skip-ci

     

···

       
16
       
 
       
    "global",

     

       
17
       
 
       
    "deps-dev",

     

       
18
       
 
       
    "docker",

     

       
19
       
-
       
    "scripts"

     

       
0
       
 
       

     

       
20
       
 
       
  ],

     

       
21
       
 
       
  "conventionalCommits.autoCommit": false,

     

       
22
       
 
       
  "conventionalCommits.promptCI": true,

     

···

       
16
       
 
       
    "global",

     

       
17
       
 
       
    "deps-dev",

     

       
18
       
 
       
    "docker",

     

       
19
       
+
       
    "scripts",

     

       
20
       
+
       
    "github-actions"

     

       
21
       
 
       
  ],

     

       
22
       
 
       
  "conventionalCommits.autoCommit": false,

     

       
23
       
 
       
  "conventionalCommits.promptCI": true,