roomservice: handle GitHub's api changes

while other teams flood their gerrit, we just reformat our device string

GitHub support reply:
-------------------------------------
Hi Alexander Martinz,

> sorry to bother you, but our automated builds, which use the github
search api
> to locate repositories, are constantly failing with some specific
repositories.
>
> example url:
https://api.github.com/search/repositories?q=user:NamelessRom+android_device+find7+fork:true

Sorry for the trouble!  Our search folks investigated and it looks like
the issue
is how we tokenize repository names.

We're splitting "find7" into 2 separate tokens ("find" and "7"),
so searching for "find7" returns no results like you found.

This is why dropping the "7" works, or if you search for "7" separately,
it works as well:

https://api.github.com/search/repositories?q=user:NamelessRom+android_device+find+7+fork:true

Does that clear things up?
If this is a problem for your build process however, please let us know.

Thanks,
Robert