From 2fceb6792e4d501a50849a862eaab6a6121a56d4 Mon Sep 17 00:00:00 2001 From: Marcus Zibrowius Date: Fri, 19 Jun 2026 10:27:26 +0200 Subject: [PATCH] Shorten issue template --- .../lean4game-issues-and-feature-requests.md | 14 -------------- .../ISSUE_TEMPLATE/software-bugs-and-features.md | 10 ++++++++++ 2 files changed, 10 insertions(+), 14 deletions(-) delete mode 100644 .github/ISSUE_TEMPLATE/lean4game-issues-and-feature-requests.md create mode 100644 .github/ISSUE_TEMPLATE/software-bugs-and-features.md diff --git a/.github/ISSUE_TEMPLATE/lean4game-issues-and-feature-requests.md b/.github/ISSUE_TEMPLATE/lean4game-issues-and-feature-requests.md deleted file mode 100644 index 70fad013..00000000 --- a/.github/ISSUE_TEMPLATE/lean4game-issues-and-feature-requests.md +++ /dev/null @@ -1,14 +0,0 @@ ---- -name: lean4game issues and feature requests -about: Redirect to game repositories for issues with individual games -title: '' -labels: '' -assignees: '' - ---- - -Thank you for supporting the development of lean4game! - -To report an issue regarding the contents of a specific game, please head over to that game's repository and report there. For example, issues related to the Natural Number Game can be reported [here](https://github.com/leanprover-community/NNG4/issues). See the [Contact section](https://github.com/leanprover-community/lean4game#contact) on our README page for a full list of officially supported games and associated repositories. - -All other issues belong here. It may be worth checking first whether the bug you want to report or the feature you'd like to request is still/already present in the [development version](https://adam-dev.math.hhu.de/) of lean4game. In case of a server outage, please also email us. diff --git a/.github/ISSUE_TEMPLATE/software-bugs-and-features.md b/.github/ISSUE_TEMPLATE/software-bugs-and-features.md new file mode 100644 index 00000000..70fce4c3 --- /dev/null +++ b/.github/ISSUE_TEMPLATE/software-bugs-and-features.md @@ -0,0 +1,10 @@ +--- +name: Software bugs and features +about: Raise issues regarding the software powering the Lean Game Server +title: '' +labels: '' +assignees: '' + +--- + +Please use this form only to report issues regarding the lean4game software, not regarding contents of individual games. It may be worth checking first whether the bug you want to report or the feature you'd like to request is still/already present in the [development version](https://adam-dev.math.hhu.de/) of lean4game. In case of a server outage, please also email us.