Skip to content
This repository has been archived by the owner on Nov 2, 2023. It is now read-only.

The <username>.github.io repo should probably be ignored #143

Open
kbandla opened this issue Jul 16, 2014 · 1 comment
Open

The <username>.github.io repo should probably be ignored #143

kbandla opened this issue Jul 16, 2014 · 1 comment

Comments

@kbandla
Copy link

kbandla commented Jul 16, 2014

The username.github.io repository used to host github pages should probably not count towards the stats.
@Walkman100
Copy link

Well I use my walkman100.github.io repo to redirect to my Walkman repo, so even better would be an option to ignore any user specified repo

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@kbandla @Walkman100