diff options
| author | Augustin Borsu <a.borsu@gmail.com> | 2015-12-23 09:19:18 +0100 |
|---|---|---|
| committer | Rok Garbas <rok@garbas.si> | 2015-12-23 11:38:57 +0100 |
| commit | 44ea18499710049e165b475a98e04d02252d7533 (patch) | |
| tree | 72387e90b1b066d47e4edf983c301b062a3dd337 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | bf9c16d4ace2ea853586c627660953d6a6ccb3dc (diff) | |
jenkins ci enhancement: add port and prefix option
As named these options enable to specify a bind host and url prefix
to be used by jenkins. Adding these options in the config rather than
using extra arguments allows us to re-use those information in other
services using jenkins such as jenkins-job-builder or a reverse proxy.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions