{
  "$id": "https://hash.ai/@hash/types/entity-type/github-user/v/1",
  "$schema": "https://blockprotocol.org/types/modules/graph/0.3/schema/entity-type",
  "allOf": [
    {
      "$ref": "https://hash.ai/@h/types/entity-type/github-account/v/1"
    }
  ],
  "description": "A GitHub User is a GitHub Account that can be logged into by authorized Person(s). It may represent a single Person, either identifiable or anonymous; or it may be a \"machine account\" used for performing certain automated tasks on GitHub.com.",
  "kind": "entityType",
  "properties": {},
  "title": "GitHub User",
  "type": "object"
}