You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now there's a lot of HTML files in the repo, and these files are linked to via GitHub Pages deployment. However they are increasing the repo size, so instead we would like to build GitHub Pages from the docs branch, and leave these HTML files on the docs branch, while ignoring them on the main branch. Or something like that. Basically we want to still see the HTML files on the website, but not cluttering up the repo. If possible.
The text was updated successfully, but these errors were encountered:
Right now there's a lot of HTML files in the repo, and these files are linked to via GitHub Pages deployment. However they are increasing the repo size, so instead we would like to build GitHub Pages from the docs branch, and leave these HTML files on the docs branch, while ignoring them on the main branch. Or something like that. Basically we want to still see the HTML files on the website, but not cluttering up the repo. If possible.
The text was updated successfully, but these errors were encountered: