Workaround for repos with dots in their names. Fixes #1.
Merge pull request #2 from pluma/repos-with-dots-in-them

Workaround for repos with dots in their names. Fixes #1