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