Merge branch 'jk/ci-only-on-selected-branches'

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

Junio C Hamano committed May 29, 2020 at 15:12 UTC 24109910fe9912078f851419731ad046d851dcfc

No changes.