If the gh-pages are created using PackageMaker then GitHub shows all contributors to the branch gh-gap on the front page of the repository. Here is an example:
https://github.com/homalg-project/CatReps
This list is persistent even after recreating the gh-pages branch from scratch.
I don't think this is desirable
If the
gh-pagesare created usingPackageMakerthen GitHub shows all contributors to the branchgh-gapon the front page of the repository. Here is an example:https://github.com/homalg-project/CatReps
This list is persistent even after recreating the
gh-pagesbranch from scratch.I don't think this is desirable