comparison repoint.sml @ 2311:186a452dddd3

Bitbucket -> Sourcehut, and subrepo update
author Chris Cannam
date Fri, 30 Aug 2019 11:56:03 +0100
parents a3951575def3
children
comparison
equal deleted inserted replaced
2310:a2a321f02e6e 2311:186a452dddd3
36 shall not be used in advertising or otherwise to promote the sale, 36 shall not be used in advertising or otherwise to promote the sale,
37 use or other dealings in this Software without prior written 37 use or other dealings in this Software without prior written
38 authorization. 38 authorization.
39 *) 39 *)
40 40
41 val repoint_version = "1.1.1" 41 val repoint_version = "1.2"
42 42
43 43
44 datatype vcs = 44 datatype vcs =
45 HG | 45 HG |
46 GIT | 46 GIT |
327 (fn c => isAlphaNum c orelse c = #"-" orelse c = #"_") 327 (fn c => isAlphaNum c orelse c = #"-" orelse c = #"_")
328 (explode arg) 328 (explode arg)
329 then arg 329 then arg
330 else "\"" ^ arg ^ "\"" 330 else "\"" ^ arg ^ "\""
331 fun check arg = 331 fun check arg =
332 let val valid = explode " /#:;?,._-{}@=+" 332 let val valid = explode " /#:;?,._-{}@=+%"
333 in 333 in
334 app (fn c => 334 app (fn c =>
335 if isAlphaNum c orelse 335 if isAlphaNum c orelse
336 List.exists (fn v => v = c) valid orelse 336 List.exists (fn v => v = c) valid orelse
337 c > chr 127 337 c > chr 127
1044 service = "github", 1044 service = "github",
1045 supports = [GIT], 1045 supports = [GIT],
1046 remote_spec = { 1046 remote_spec = {
1047 anon = SOME "https://github.com/{owner}/{repository}", 1047 anon = SOME "https://github.com/{owner}/{repository}",
1048 auth = SOME "ssh://{vcs}@github.com/{owner}/{repository}" 1048 auth = SOME "ssh://{vcs}@github.com/{owner}/{repository}"
1049 }
1050 },
1051 { service = "sourcehut",
1052 supports = [HG, GIT],
1053 remote_spec = {
1054 anon = SOME "https://{vcs}.sr.ht/%7E{owner}/{repository}",
1055 auth = SOME "ssh://{vcs}@{vcs}.sr.ht/%7E{owner}/{repository}"
1049 } 1056 }
1050 } 1057 }
1051 ] 1058 ]
1052 1059
1053 fun vcs_name vcs = 1060 fun vcs_name vcs =