From 0d8d2637ff02a19965ae7cb090e0d5b97a166d7c Mon Sep 17 00:00:00 2001
From: Markus Reiter <me@reitermark.us>
Date: Sat, 4 Aug 2018 14:07:15 +0200
Subject: [PATCH] Remove `ci`.

---
 developer/bin/sync_templates_and_ci | 1 -
 1 file changed, 1 deletion(-)

diff --git a/developer/bin/sync_templates_and_ci b/developer/bin/sync_templates_and_ci
index 1497d9334f..f9763adddc 100755
--- a/developer/bin/sync_templates_and_ci
+++ b/developer/bin/sync_templates_and_ci
@@ -41,7 +41,6 @@ function copy_templates_and_ci {
     --include '.gitignore'                    \
     --include '.travis.yml'                   \
     --include 'CODE_OF_CONDUCT.md'            \
-    --include 'ci/***'                        \
     --exclude '*' "${main_repo_dir}/" '.'
   rm '.github/ISSUE_TEMPLATE/02_feature_request.md' # Feature requests only make sense in the main repo
   /usr/bin/sed -i '' -E "s:homebrew-cask/(pulls|issues|search):${repo_name}/\1:" '.github/PULL_REQUEST_TEMPLATE.md' # PULL_REQUEST_TEMPLATE has repo-specific links