search

gap-system / GitHubPagesForGAP

Template for easily using GitHub Pages within GAP packages
https://gap-system.github.io/GitHubPagesForGAP/
Other
13 stars 11 forks source link

Recommend adding `gh-pages` to `.gitignore` #22

Open fingolfin opened 3 years ago

fingolfin commented 3 years ago

This should be mentioned in the README. Ideally the setup.sh script would also warn about it; even better: it could check if it is already there, and if not, add it to .gitignore.

Related: https://github.com/gap-system/ReleaseTools/issues/86