This should solve the dot issue. Renaming the div is a bit of a hack, but it's easier than making sure everything else (including third-party plugins) remembers to escape dots in the id when creating a query from an element id.
I've added a loop to make sure the new divId is unique (which is neccessary because a user could reasonably have the same repo on his account twice, once with a dash and once with a dot).
This should solve the dot issue. Renaming the div is a bit of a hack, but it's easier than making sure everything else (including third-party plugins) remembers to escape dots in the id when creating a query from an element id.
I've added a loop to make sure the new divId is unique (which is neccessary because a user could reasonably have the same repo on his account twice, once with a dash and once with a dot).