Add arbitrary repos by their full GitHub URL

Fixes #184