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

-------------------------------------

Change-Id: I111cb5dd1804d183811a2765f13d930d564d2cf5
(cherry picked from commit 7f60bc362eb6b7a5eb0cec015616e5b994cdaaff)