public-user

record public-user {
  avatar-url: string,
  bio: string,
  blog: string,
  collaborators: option​<s32>,
  company: string,
  created-at: string,
  disk-usage: option​<s32>,
  email: string,
  events-url: string,
  followers: s32,
  followers-url: string,
  following: s32,
  following-url: string,
  gists-url: string,
  gravatar-id: string,
  hireable: bool,
  html-url: string,
  id: s32,
  location: string,
  login: string,
  name: string,
  node-id: string,
  organizations-url: string,
  owned-private-repos: option​<s32>,
  plan: option​<public-user-plan>,
  private-gists: option​<s32>,
  public-gists: s32,
  public-repos: s32,
  received-events-url: string,
  repos-url: string,
  site-admin: bool,
  starred-url: string,
  subscriptions-url: string,
  suspended-at: option​<string>,
  total-private-repos: option​<s32>,
  twitter-username: option​<string>,
  type-op: string,
  updated-at: string,
  url: string,
}