hall
\(github : ./Type) -> github.owner ++ "/" ++ github.repo ++ merge { None = "", Some = \(subdir : Text) -> "/" ++ subdir } github.subdir