]> git.ipfire.org Git - thirdparty/git.git/commit
Merge branch 'jk/ci-only-on-selected-branches'
authorJunio C Hamano <gitster@pobox.com>
Fri, 29 May 2020 22:12:19 +0000 (15:12 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 29 May 2020 22:12:19 +0000 (15:12 -0700)
commit24109910fe9912078f851419731ad046d851dcfc
treeb71f9d30980d60509fa69e7e20ab436cec8f8385
parent2d5e9f31ac46017895ce6a183467037d29ceb9d3
parent71800d31b5e887d38319c7a3cce834a067d961f5
Merge branch 'jk/ci-only-on-selected-branches'

Dev support.

* jk/ci-only-on-selected-branches:
  ci/config: correct instruction for CI preferences