diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2020-05-29 15:12:19 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-05-29 15:12:19 -0700 |
| commit | 24109910fe9912078f851419731ad046d851dcfc (patch) | |
| tree | b71f9d30980d60509fa69e7e20ab436cec8f8385 /builtin/update-server-info.c | |
| parent | Git 2.27-rc2 (diff) | |
| parent | ci/config: correct instruction for CI preferences (diff) | |
| download | tgif-24109910fe9912078f851419731ad046d851dcfc.tar.xz | |
Merge branch 'jk/ci-only-on-selected-branches'
Dev support.
* jk/ci-only-on-selected-branches:
ci/config: correct instruction for CI preferences
Diffstat (limited to 'builtin/update-server-info.c')
0 files changed, 0 insertions, 0 deletions