github: Repository custom properties: GraphQL API and URL type

GitHub added two enhancements to repository custom properties: a GraphQL API for managing them and a new URL property type, to help organize and manage repositories at scale.

• Source: GitHub