diff options
| author | Teddy Wing | 2017-11-07 18:28:31 +0100 |
|---|---|---|
| committer | Teddy Wing | 2017-11-07 18:28:31 +0100 |
| commit | 7d7a858f8b8580700ebafa8a3e083282b54e20d0 (patch) | |
| tree | 2429c41fb2d29681ae4599ae9dd6b6de9493bf75 /src/pull_request.rs | |
| parent | 56ee1445bf81b83ff026de0537cb2d824e0c8b4d (diff) | |
| download | kipper-7d7a858f8b8580700ebafa8a3e083282b54e20d0.tar.bz2 | |
jenkins.rs: Outline commit status update algorithm
Comment and a rough interface definition describing how commit statuses
should be updated and how Jenkins should be queried.
Diffstat (limited to 'src/pull_request.rs')
0 files changed, 0 insertions, 0 deletions