Get repo name from API instead of taking what user wrote. Fixes #17

This will leave us with some duplicated repos I'm afraid.