Skip to content

internal tool: dhall migrator

Warren Gifford requested to merge dhall_migrator into main

Created by: uwedeportivo

reads in a collection of manifests, generates a dhall schema and a yaml record and then runs yaml-to-dhall over it.

implements https://github.com/sourcegraph/sourcegraph/issues/13306

the generated dhall can be seen in this gist: https://gist.github.com/uwedeportivo/0cfc034da3b370e50a8e442db3756b5a

the generated schema can be seen here: https://gist.github.com/uwedeportivo/339677fecdb580e1b412512dc3d00861

Merge request reports

Loading