diff options
| author | Teddy Wing | 2017-11-17 00:47:26 +0100 |
|---|---|---|
| committer | Teddy Wing | 2017-11-17 00:47:26 +0100 |
| commit | cef74cbc8ccfac2b371db2cc9e99dda3c1fce166 (patch) | |
| tree | 942797cb042329579a2a6aa1e1de58d488e02963 /src/github.rs | |
| parent | 7a4b816b6dc8c826db49bc5997709b8e7d1f6933 (diff) | |
| download | kipper-cef74cbc8ccfac2b371db2cc9e99dda3c1fce166.tar.bz2 | |
pull_request.rs: Add `pull_request_opened_or_synchronized()`
A new function that, given the parsed JSON from a pull request webhook,
tells us whether the pull request was "opened" or "synchronize"d with a
boolean.
This will enable us to only update commit statuses when actions on the
pull request result in new commits being available. Otherwise, we don't
want to set a commit status that we've already set before.
Diffstat (limited to 'src/github.rs')
0 files changed, 0 insertions, 0 deletions