File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change 4747 run : |
4848 git fetch --unshallow origin ${{ needs.extract_branch_or_tag.outputs.ref_name }}
4949 git pull origin ${{ needs.extract_branch_or_tag.outputs.ref_name }}
50- git remote add mirror https://github.com/flexcompute-readthedocs/tidy3d-notebook -docs.git
50+ git remote add mirror https://github.com/flexcompute-readthedocs/tidy3d-notebooks -docs.git
5151 git push mirror ${{ needs.extract_branch_or_tag.outputs.ref_name }} --force # overwrites always
5252 env :
5353 GITHUB_TOKEN : ${{ secrets.GH_PAT }}
6666 - name : Push corresponding reference to mirror repo if a tag
6767 if : contains(github.ref, 'refs/tags/')
6868 run : |
69- git remote add mirror https://github.com/flexcompute-readthedocs/tidy3d-notebook -docs.git
69+ git remote add mirror https://github.com/flexcompute-readthedocs/tidy3d-notebooks -docs.git
7070 git push mirror ${{ needs.extract_branch_or_tag.outputs.ref_name }} --force # overwrites always
7171 env :
7272 GITHUB_TOKEN : ${{ secrets.GH_PAT }}
You can’t perform that action at this time.
0 commit comments