URI escape segments before sending them to github

[domenkozar]

GitHub.userInfoForR "bors[bot]" fails as it needs to be URI escaped.

[phadej]

GitHub is missleading, have you tried that api really wants bors[bot] not just bors https://github.com/bors? Also

…

On 2 Sep 2019, at 17.36, Domen Kožar ***@***.***> wrote: GitHub.userInfoForR "bors[bot]" fails as it needs to be URI escaped. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

[domenkozar]

This is somewhat a github apps feature, but the bot version returns different result: https://api.github.com/users/bors[bot]