From: Junio C Hamano <redacted>
Date: Fri, 29 May 2020 22:12:19 +0000 (-0700)
Subject: Merge branch 'jk/ci-only-on-selected-branches'
X-Git-Url: http://git.99rst.org/?a=commitdiff_plain;h=24109910fe9912078f851419731ad046d851dcfc;p=git.git

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

Dev support.

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

24109910fe9912078f851419731ad046d851dcfc