github: add support for https-style repo urls

Signed-off-by: Dominik Richter <dominik.richter@gmail.com>