bot/src/dotty/tools/bot/model/Github.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

package dotty.tools.bot
package model

object Github {
  case class PullRequest(
    url: String,
    id: Long,
    commits_url: String
  )

  case class Issue(
    number: Int,
    pull_request: Option[PullRequest]
  )
}