diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-02-09 22:01:57 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-02-13 10:53:46 +0100 |
| commit | c1836497af19e809ffb60017b28416a68467fa10 (patch) | |
| tree | 371791af8cdac7370dd67dc69d888e54adeae102 /bot/src/dotty/tools/bot/model | |
| parent | 43f1d800b92241d86703b5518aab171e039fde4e (diff) | |
| download | dotty-c1836497af19e809ffb60017b28416a68467fa10.tar.gz dotty-c1836497af19e809ffb60017b28416a68467fa10.tar.bz2 dotty-c1836497af19e809ffb60017b28416a68467fa10.zip | |
Implement relevant functionality for bot, pagination!
Diffstat (limited to 'bot/src/dotty/tools/bot/model')
| -rw-r--r-- | bot/src/dotty/tools/bot/model/Github.scala | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/bot/src/dotty/tools/bot/model/Github.scala b/bot/src/dotty/tools/bot/model/Github.scala index c089f0cf2..fafa2b86a 100644 --- a/bot/src/dotty/tools/bot/model/Github.scala +++ b/bot/src/dotty/tools/bot/model/Github.scala @@ -12,4 +12,32 @@ object Github { number: Int, pull_request: Option[PullRequest] ) + + case class CommitInfo( + message: String + ) + + case class Commit( + sha: String, + author: Author, + committer: Author, + commit: CommitInfo + ) + + case class Author( + login: Option[String] + ) + + case class Status( + state: String, + target_url: String, + description: String, + context: String = "CLA" + ) + + case class StatusResponse( + url: String, + id: Long, + state: String + ) } |