Skip to content

Merge remote-tracking branch 'origin' into spannerflow #176

Merge remote-tracking branch 'origin' into spannerflow

Merge remote-tracking branch 'origin' into spannerflow #176

Workflow file for this run

# name: Update Repl
# on:
# push:
# branches: [ master ]
# jobs:
# build:
# runs-on: ubuntu-latest
# steps:
# - uses: actions/checkout@v2
# - name: Pushes to another repository
# uses: cpina/github-action-push-to-another-repository@main
# env:
# SSH_DEPLOY_KEY: ${{ secrets.SSH_DEPLOY_KEY }}
# with:
# source-directory: 'spannerlog'
# destination-github-username: 'deanlight'
# destination-repository-name: 'spanner-workbench-live-repl'
# user-email: [email protected]
# target-branch: main
# target-directory: content/spannerlib