github-git-uri ( org/user project -- uri )


Vocabulary
github

Inputs
org/useran object
projectan object


Outputs
urian object


Definition


: github-git-uri ( org/user project -- uri )
[ "git@github.com" ] 2dip "/" glue ":" glue ;