From 0652974f3da40efb878ad0c11936e3e59760766f Mon Sep 17 00:00:00 2001
From: Martine Lenders <m.lenders@fu-berlin.de>
Date: Thu, 5 Jul 2018 15:23:58 +0200
Subject: [PATCH] github: move ISSUE_TEMPLATE.md to
 ISSUE_TEMPLATE/bug_report.md

GitHub supports different types of issue templates for a while now.
The following types are supported:

* Bug report
  (living in `.github/ISSUE_TEMPLATE/bug_report.md`),
* Feature request
  (living in `.github/ISSUE_TEMPLATE/feature_request.md`), and
* Custom issue template
  (living in `.github/ISSUE_TEMPLATE/custom.md`)

Our current issue template is mostly a bug report template, so this
moves it to `.github/ISSUE_TEMPLATE/bug_report.md`.
---
 .github/{ISSUE_TEMPLATE.md => ISSUE_TEMPLATE/bug_report.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/{ISSUE_TEMPLATE.md => ISSUE_TEMPLATE/bug_report.md} (100%)

diff --git a/.github/ISSUE_TEMPLATE.md b/.github/ISSUE_TEMPLATE/bug_report.md
similarity index 100%
rename from .github/ISSUE_TEMPLATE.md
rename to .github/ISSUE_TEMPLATE/bug_report.md
-- 
GitLab