Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add mirroring action #36

Merged
merged 2 commits into from
Feb 19, 2024
Merged

add mirroring action #36

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
087eb08
add mirroring action
JesusMcCloud Feb 15, 2024
21180f1
polish mirroring action
JesusMcCloud Feb 19, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
61 changes: 61 additions & 0 deletions .github/workflows/mirror.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,61 @@
name: Mirror

# Controls when the workflow will run
on:
# Triggers the workflow on push or pull request events but only for the "main" branch
push:
branches: [ "main" ]

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

# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
# This workflow contains a single job called "build"
mirror:
# The type of runner that the job will run on
runs-on: ubuntu-latest

# Steps represent a sequence of tasks that will be executed as part of the job
steps:
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- uses: actions/checkout@v3

- name: Configure git for user ${{ vars.MIRROR_USERNAME }} <${{ vars.MIRROR_EMAIL }}>
env:
API_TOKEN_GITHUB: ${{ secrets.API_TOKEN_GITHUB }}
run: |
git config --global user.email "${{ vars.MIRROR_EMAIL }}"
git config --global user.name "${{ vars.MIRROR_USERNAME }}"
git config --local --unset-all "http.https://github.com/.extraheader"
git config -l
# Runs a set of commands using the runners shell
- name: Remove unwanted files
run: |
git rm .github/workflows/mirror.yml
git rm .github/workflows/publish-dry-run.yml
git rm .github/workflows/publish-pages-only.yml
git rm .github/workflows/publish.yml
git rm .github/workflows/publish-dry-run.yml
git rm .github/workflows/build-jvm.yml
git rm .github/workflows/build-ios.yml
- name: Commit cleanup changes
run: git commit -m "Prepare mirroring"
- name: Set destination to ${{ vars.MIRROR_REMOTE }}
env:
API_TOKEN_GITHUB: ${{ secrets.MIRROR_API_TOKEN }}
run: |
git remote add mirror "https://x-access-token:$API_TOKEN_GITHUB@github.com/${{ vars.MIRROR_REMOTE }}.git"
git fetch mirror
git remote -v
- name: Mirror files locally to ${{ vars.MIRROR_REMOTE }}
run: |
SRC_REV=`git rev-parse HEAD`
echo source rev is $SRC_REV
git checkout -b forMirroring mirror/main
git rm -rf .
git checkout $SRC_REV .
git add .
git commit -m "Mirror latest release"
- name: pushing to mirror
run: git push mirror HEAD:main
Loading