diff options
| author | Teddy Wing | 2017-11-09 00:57:46 +0100 |
|---|---|---|
| committer | Teddy Wing | 2017-11-09 00:59:35 +0100 |
| commit | a05849f435d72c342671c53ef6f1bd8b87ff25a7 (patch) | |
| tree | 0c57781fb35da64d885b856730d8ee40d7450745 /src/github.rs | |
| parent | 26b74edece4546378c8a853cc70f7388f20ff0c6 (diff) | |
| download | kipper-a05849f435d72c342671c53ef6f1bd8b87ff25a7.tar.bz2 | |
jenkins.rs: Take repo name in `find_and_track...`
This function should take a repo name so we can pass that information to
`get_jobs`, as well as `update_commit_status`.
Also add types to the parameters which I apparently didn't think to do
the first time.
Diffstat (limited to 'src/github.rs')
0 files changed, 0 insertions, 0 deletions