Revision 260:9b00c7784153 repoint.sml
| repoint.sml | ||
|---|---|---|
| 38 | 38 |
authorization. |
| 39 | 39 |
*) |
| 40 | 40 |
|
| 41 |
val repoint_version = "1.1"
|
|
| 41 |
val repoint_version = "1.2"
|
|
| 42 | 42 |
|
| 43 | 43 |
|
| 44 | 44 |
datatype vcs = |
| ... | ... | |
| 329 | 329 |
then arg |
| 330 | 330 |
else "\"" ^ arg ^ "\"" |
| 331 | 331 |
fun check arg = |
| 332 |
let val valid = explode " /#:;?,._-{}@=+"
|
|
| 332 |
let val valid = explode " /#:;?,._-{}@=+%"
|
|
| 333 | 333 |
in |
| 334 | 334 |
app (fn c => |
| 335 | 335 |
if isAlphaNum c orelse |
| ... | ... | |
| 1047 | 1047 |
anon = SOME "https://github.com/{owner}/{repository}",
|
| 1048 | 1048 |
auth = SOME "ssh://{vcs}@github.com/{owner}/{repository}"
|
| 1049 | 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}"
|
|
| 1056 |
} |
|
| 1050 | 1057 |
} |
| 1051 | 1058 |
] |
| 1052 | 1059 |
|
Also available in: Unified diff