Skip to content

🪞 Mirror 7c1be97869ae2cf4575768b4b684430b96483185 #1278

🪞 Mirror 7c1be97869ae2cf4575768b4b684430b96483185

🪞 Mirror 7c1be97869ae2cf4575768b4b684430b96483185 #1278

Workflow file for this run

name: 🪞 Mirror
run-name: 🪞 Mirror ${{ github.sha }}
on:
push:
branches:
- master
- maintenance-release
- 'manticore-*'
# waits until the previous workflow run to finish when a new one appears
concurrency:
group: mirror_${{ github.ref }}
jobs:
to_gitlab:
name: Sync to GitLab
if: github.repository == 'manticoresoftware/manticoresearch'
runs-on: ubuntu-latest
steps:
- name: Commit info
run: |
echo "# Syncing commit ${{ github.sha }} to GitLab" >> $GITHUB_STEP_SUMMARY
echo "* Commit URL: [${{ github.sha }}](/${{ github.repository }}/commit/${{ github.sha }})" >> $GITHUB_STEP_SUMMARY
echo "* Initiated by: [@${{ github.actor }}](https://github.com/${{ github.actor }})" >> $GITHUB_STEP_SUMMARY
echo "* Ref: ${{ github.ref_type }} \"${{ github.ref_name }}\"" >> $GITHUB_STEP_SUMMARY
echo "* Attempt: ${{ github.run_attempt }}" >> $GITHUB_STEP_SUMMARY
- name: Checkout repository
uses: actions/checkout@v3
with:
token: ${{ secrets.GITHUB_TOKEN }}
fetch-depth: 0
- name: Sync to Gitlab
run: |
echo "${{ secrets.GITLAB_SSH_KEY }}" > /tmp/ssh.key
chmod 600 /tmp/ssh.key
git remote add gitlab [email protected]:manticoresearch/dev.git
git checkout ${{ github.ref }}
GIT_SSH_COMMAND='ssh -i /tmp/ssh.key -o IdentitiesOnly=yes -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -F /dev/null' git fetch gitlab
GIT_SSH_COMMAND='ssh -i /tmp/ssh.key -o IdentitiesOnly=yes -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -F /dev/null' git push -u gitlab ${{ github.ref }}
shell: bash