Federated via graft
Add CI: mirror main to GitHub on push
author
forgeadmin
date
(Sep 13, 2026, 10:48 AM UTC)
commit
c8db5356
c8db5356f6f70aa799de84e50383b1e6f7051482
parent
b79760df
b79760df8a70e58909df6f34c5b8809add6dba03
+17
+17
.forgejo/workflows/push-github.yml
+17
.forgejo/workflows/push-github.yml
···
1
+
name: push-github
2
+
on:
3
+
push:
4
+
branches: [main]
5
+
6
+
jobs:
7
+
mirror:
8
+
runs-on: linux-host
9
+
steps:
10
+
- uses: actions/checkout@v4
11
+
with:
12
+
fetch-depth: 0
13
+
- name: push to GitHub
14
+
run: |
15
+
set -e
16
+
git remote add github https://x-access-token:${{ secrets.GH_PUSH_TOKEN }}@github.com/jeanbaptiste/graft.git
17
+
git push github HEAD:main