https://test.dhall-lang.org/cors/OnlyGithub.dhall