diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2014-04-13 08:30:10 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2014-04-13 08:30:10 +0200 |
| commit | 42ee2c2a6ccdde07f1daabe95507c27bb56d9d24 (patch) | |
| tree | 8ff0aed72e6761c45adc1f44bd3d5029942ab46e /INSTALL | |
| parent | 0cc047ab91c2b1e7cf4db336c545a84bbd8935f6 (diff) | |
| download | jenkins.debian.net-42ee2c2a6ccdde07f1daabe95507c27bb56d9d24.tar.xz | |
rebootstrap: track different branch
By using a separate branch for jenkins, I can still push changes to
master while selectively triggering jenkins by pushes to that branch
thus saving resources.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions