Skip to content

Allow table.copy between tables with different index types (#58) #23

Allow table.copy between tables with different index types (#58)

Allow table.copy between tables with different index types (#58) #23

name: Mirror main branch to master branch
on:
push:
branches:
- 'main'
jobs:
mirror_job:
runs-on: ubuntu-latest
name: Mirror main branch to master branch
steps:
- name: Mirror branch
uses: google/mirror-branch-action@v1.0
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
source: 'main'
dest: 'master'