Damyan Ivanov:
> I am not sure how sound this is as I am not using github much, but
> perhaps using an "upstream/" prefix could solve the name space
> problem?
Unfortunately, you can't choose the name of the repos you fork or
mirror on GitHub. It's always /{user}/{repo} where {repo} is the
same for any forks and {user} is different for each one.
Cheers,
Alex