Redirect /job to / and /job/:job/build to /job/:job #104
Merged
reynir
merged 5 commits from redirect-job-and-build
into main
10 months ago
Loading…
Reference in new issue
There is no content yet.
Delete Branch 'redirect-job-and-build'
Deleting a branch is permanent. It CANNOT be undone. Continue?
replaces #81
A single potential change depending on semantics of Dream.to_form_urlencoded
let parent = parent ^ "/" in
let url = match Dream.queries req with
| [] -> parent
| xs -> parent ^ (Dream.to_form_urlencoded xs)
I havn't tested the output of this function, but @reynir prefixes "?" when he uses it #80/files
There's a corner case not handled correctly, but I think this is good to merge and we can fix that later
let url = match Dream.queries req with
| [] -> parent
| xs -> parent ^ "?" ^ (Dream.to_form_urlencoded xs)
in
The query part is allowed to contain
/
, so this is in (rare) cases wronge5a2b6fc0e
into main 10 months agoReviewers
e5a2b6fc0e
.