Skip to content

Alter user description update per PR 392 #492

Alter user description update per PR 392

Alter user description update per PR 392 #492

Workflow file for this run

name: Push to remote repositories
on:
push:
branches:
- '*' # Trigger on all branches
permissions:
contents: read
jobs:
build:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- name: Checkout Repo
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
path: 'build'
token: ${{ secrets.GITHUB_TOKEN }}
ref: ${{ github.ref_name }}
- name: Generate app token
id: generate_token
uses: tibdex/github-app-token@3beb63f4bd073e61482598c45c71c1019b59b73a # v2.1.0
with:
app_id: ${{ secrets.GH_APP_CI_GITOPS_APP_ID }}
private_key: ${{ secrets.GH_APP_CI_GITOPS_KEY_PEM }}
- name: Checkout Guru Synch Target
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
token: ${{ steps.generate_token.outputs.token }}
repository: firebolt-analytics/firebolt-doc-to-guru
path: 'deploysync'
ref: 'main'
- name: Checkout Preview Target
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
token: ${{ steps.generate_token.outputs.token }}
repository: firebolt-analytics/firebolt-docs-preview-cntrbtr
path: 'preview'
ref: 'gh-pages'
# https://github.com/actions/checkout#push-a-commit-using-the-built-in-token
- name: Set GitHub Actions as Commit Author
run: |
git config --global user.name github-actions
git config --global user.email github-actions@github.com
- name: Push Guru
env:
TARGET_BRANCH: "main"
run: |
cp -r build/* deploysync
cd deploysync
git add -A
git commit -m "feat(no_issue): update with $GITHUB_SHA"
git push origin $TARGET_BRANCH || echo "remote repository already synced"
- name: Push Preview
env:
TARGET_BRANCH: ${{ github.ref_name }}
run: |
cp -r build/* preview
cd preview
git add -A
git commit -m "feat(no_issue): update with $GITHUB_SHA"
git push origin $TARGET_BRANCH || echo "remote repository already synced"