Delete directory '.gitea'
This commit is contained in:
1 parent
f5230de24e
commit
43877cff0b
1 file changed
-32
@@ -1,32 +0,0 @@
|
||||
|
||||
name: Mirror to GitHub
|
||||
|
||||
on:
|
||||
push:
|
||||
branches:
|
||||
- main
|
||||
|
||||
jobs:
|
||||
mirror:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: Check out Gitea repository
|
||||
uses: builtin:checkout
|
||||
with:
|
||||
fetch-depth: 0
|
||||
|
||||
- name: Push main to GitHub
|
||||
env:
|
||||
GH_TOKEN: ${{ secrets.GH_TOKEN }}
|
||||
run: |
|
||||
set -eu
|
||||
|
||||
AUTH="$(printf 'x-access-token:%s' "$GH_TOKEN" | base64 | tr -d '\n')"
|
||||
|
||||
git remote add github \
|
||||
https://github.com/tafakkur/PyNix-Website.git
|
||||
|
||||
git -c http.extraheader="AUTHORIZATION: basic $AUTH" \
|
||||
push --force github HEAD:refs/heads/main
|
||||
|
||||
echo "Successfully synced Gitea main to GitHub main."
|
||||
Reference in new issue
Block a user