Skip to content

Merge pull request #1849 from arduino/sync/g-castronovo/Din-Celcius-S… #1502

Merge pull request #1849 from arduino/sync/g-castronovo/Din-Celcius-S…

Merge pull request #1849 from arduino/sync/g-castronovo/Din-Celcius-S… #1502

name: Sync private mirror
on:
push:
branches:
- main
jobs:
repo-sync:
if: "github.repository == 'arduino/docs-content'"
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
with:
fetch-depth: "0"
ref: "main"
- name: Install SSH key
uses: shimataro/ssh-key-action@v2
with:
key: ${{ secrets.DOCS_PRIVATE_SSH_KEY }}
known_hosts: unnecessary
- run: |
git remote add mirror [email protected]:arduino/docs-content-private.git
git config --global user.email "sync@docs-content-private"
git config --global user.name "docs-sync"
git checkout main
git push --force -u mirror main