firewall/utils.ml at develop - firewall - Gitea: Service Git d'Aurore

Suppression de la possibilité de cloner des dépôts privés en HTTPS ;
Réinstallation de drone ou changement d'outil de CI ;
Possiblement migration de Gitea à Forgejo.

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

8 lines

264 B

OCaml

Raw Permalink Blame History

 let rec deoptionalise = function
   | Some x :: xs -> x :: deoptionalise xs
   | None :: xs -> deoptionalise xs
   | [] -> []
 let ( &?> ) left right = match left with Error _ -> right | ok -> ok
 let ( &> ) left right = match left with Error _ -> right | Ok ok -> ok