Directories
¶
Path | Synopsis |
---|---|
bootstrap implements a drop-in-replacement for jenkins/bootstrap.py
|
bootstrap implements a drop-in-replacement for jenkins/bootstrap.py |
config-updater watches for merged PRs which update a set of files and update the corresponding files in a given deployment
|
config-updater watches for merged PRs which update a set of files and update the corresponding files in a given deployment |
manual-trigger triggers jenkins jobs based a specified github pull request
|
manual-trigger triggers jenkins jobs based a specified github pull request |
Refresh retries Github status updates for stale PR statuses.
|
Refresh retries Github status updates for stale PR statuses. |
Click to show internal directories.
Click to hide internal directories.