File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 2222 git config --global user.email 'IfcOpenBot@users.noreply.github.com'
2323 git clone https://${{ secrets.GH_APIKEY }}@github.com/IfcOpenShell/bonsaibim_org_docs
2424 git -C bonsaibim_org_docs checkout -B main
25- # Save CNAME before clearing repo - needed for GitHub Pages custom domain
26- cp bonsaibim_org_docs/CNAME /tmp/CNAME || echo "docs.bonsaibim.org" > /tmp/CNAME
2725 rm -rf bonsaibim_org_docs/*
2826 cp -r _build/html/* bonsaibim_org_docs/
29- cp /tmp/CNAME bonsaibim_org_docs/CNAME
27+ printf "docs.bonsaibim.org" > bonsaibim_org_docs/CNAME
3028 touch bonsaibim_org_docs/.nojekyll
3129 git -C bonsaibim_org_docs add .
3230 git -C bonsaibim_org_docs commit -m "Build"
Original file line number Diff line number Diff line change 2323 git config --global user.email 'IfcOpenBot@users.noreply.github.com'
2424 git clone https://${{ secrets.GH_APIKEY }}@github.com/IfcOpenShell/ifcopenshell_org_docs
2525 git -C ifcopenshell_org_docs checkout -B main
26- # Save CNAME before clearing repo - needed for GitHub Pages custom domain
27- cp ifcopenshell_org_docs/CNAME /tmp/CNAME || echo "docs.ifcopenshell.org" > /tmp/CNAME
2826 rm -rf ifcopenshell_org_docs/*
2927 cp -r _build/html/* ifcopenshell_org_docs/
30- cp /tmp/CNAME ifcopenshell_org_docs/CNAME
28+ printf "docs.ifcopenshell.org" > ifcopenshell_org_docs/CNAME
3129 touch ifcopenshell_org_docs/.nojekyll
3230 git -C ifcopenshell_org_docs add .
3331 git -C ifcopenshell_org_docs commit -m "Build"
You can’t perform that action at this time.
0 commit comments