Add option to hide the Github Pages repository from the Github aside