diff options
Diffstat (limited to 'bot/src')
-rw-r--r-- | bot/src/dotty/tools/bot/model/Github.scala | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/bot/src/dotty/tools/bot/model/Github.scala b/bot/src/dotty/tools/bot/model/Github.scala new file mode 100644 index 000000000..c089f0cf2 --- /dev/null +++ b/bot/src/dotty/tools/bot/model/Github.scala @@ -0,0 +1,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] + ) +} |