File tree 1 file changed +2
-2
lines changed
1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change 47
47
run : |
48
48
git fetch --unshallow origin ${{ needs.extract_branch_or_tag.outputs.ref_name }}
49
49
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
51
51
git push mirror ${{ needs.extract_branch_or_tag.outputs.ref_name }} --force # overwrites always
52
52
env :
53
53
GITHUB_TOKEN : ${{ secrets.GH_PAT }}
66
66
- name : Push corresponding reference to mirror repo if a tag
67
67
if : contains(github.ref, 'refs/tags/')
68
68
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
70
70
git push mirror ${{ needs.extract_branch_or_tag.outputs.ref_name }} --force # overwrites always
71
71
env :
72
72
GITHUB_TOKEN : ${{ secrets.GH_PAT }}
You can’t perform that action at this time.
0 commit comments