{ name : Text
, base-url : Optional Text
, github-app-name : Optional Text
, github-label : Optional Text
, type : ../ConnectionType/Type.dhall
}