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
The /docs folder needs about 7 GB and updates nearly each time. As these pages are stored in GH pages, why is the generated HTML stored in the repository at all?
Please add /docs to .gitignore and remove the folder from the repository.
The text was updated successfully, but these errors were encountered:
The /docs folder needs about 7 GB and updates nearly each time. As these pages are stored in GH pages, why is the generated HTML stored in the repository at all?
Please add /docs to
.gitignore
and remove the folder from the repository.The text was updated successfully, but these errors were encountered: