pull-request-head-user

record pull-request-head-user {
  avatar-url: string,
  events-url: string,
  followers-url: string,
  following-url: string,
  gists-url: string,
  gravatar-id: string,
  html-url: string,
  id: s32,
  login: string,
  node-id: string,
  organizations-url: string,
  received-events-url: string,
  repos-url: string,
  site-admin: bool,
  starred-url: string,
  subscriptions-url: string,
  type-op: string,
  url: string,
}