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

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

Dev support.

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

24109910fe9912078f851419731ad046d851dcfc