github: add http/https uris

diff --git a/extra/github/github.factor b/extra/github/github.factor
index 7f5c03dc6e709e0c58107099067a668524b4e0e5..1d313fa6e276d4c07ed731d040e37b12797532b3 100644 (file)
--- a/extra/github/github.factor
+++ b/extra/github/github.factor
@@ -235,3 +235,5 @@ SYMBOL: github-token
 : github-git-clone ( org/user project -- process ) dup github-git-clone-as ;
 : github-ssh-clone ( org/user project -- process ) dup github-ssh-clone-as ;
 
+: github-http-uri ( org/user project -- uri ) "http://github.com/%s/%s" sprintf ;
+: github-https-uri ( org/user project -- uri ) "https://github.com/%s/%s" sprintf ;