Skip to content

Merge branch 'master' of https://github.com/filecoin-project/lotus #11

Merge branch 'master' of https://github.com/filecoin-project/lotus

Merge branch 'master' of https://github.com/filecoin-project/lotus #11

name: sync-master-main
on:
push:
branches:
- master
jobs:
sync:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: update remote branch main
run: |
# overrides the remote branch (origin:github) `main`
git push origin --force master:main