File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 2121 git config --global user.name 'IfcOpenBot'
2222 git config --global user.email 'IfcOpenBot@users.noreply.github.com'
2323 git clone https://${{ secrets.GH_APIKEY }}@github.com/IfcOpenShell/bonsaibim_org_docs
24+ git -C bonsaibim_org_docs checkout -B main
2425 # Delete old content but preserve CNAME for GitHub Pages
2526 find bonsaibim_org_docs -mindepth 1 -not -name "CNAME" -delete
2627 cp -r _build/html/* bonsaibim_org_docs/
Original file line number Diff line number Diff line change 2222 git config --global user.name 'IfcOpenBot'
2323 git config --global user.email 'IfcOpenBot@users.noreply.github.com'
2424 git clone https://${{ secrets.GH_APIKEY }}@github.com/IfcOpenShell/ifcopenshell_org_docs
25+ git -C ifcopenshell_org_docs checkout -B main
2526 # Delete old content but preserve CNAME for GitHub Pages
2627 find ifcopenshell_org_docs -mindepth 1 -not -name "CNAME" -delete
2728 cp -r _build/html/* ifcopenshell_org_docs/
You can’t perform that action at this time.
0 commit comments