From 99575678753c7ead07f4a7581855878acdae76be Mon Sep 17 00:00:00 2001 From: Andre Maroneze <andre.oliveiramaroneze@cea.fr> Date: Thu, 2 Apr 2020 09:19:47 +0200 Subject: [PATCH] [gitlab] Indicate that old BTS is deprecated --- .gitlab/issue_templates/bug_report.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitlab/issue_templates/bug_report.md b/.gitlab/issue_templates/bug_report.md index b01c0a798ee..62e77a15383 100644 --- a/.gitlab/issue_templates/bug_report.md +++ b/.gitlab/issue_templates/bug_report.md @@ -5,7 +5,8 @@ Please directly edit it inline to provide the required information. Before submitting the issue, please confirm (by adding a X in the [ ]): - [ ] the issue has not yet been reported on [Gitlab](https://git.frama-c.com/pub/frama-c/issues); -- [ ] the issue has not yet been reported on our [BTS](https://bts.frama-c.com); +- [ ] the issue has not yet been reported on our old + [BTS](https://bts.frama-c.com) (*note: the old BTS is deprecated*); - [ ] you installed Frama-C as prescribed in the [instructions](INSTALL.md). # Contextual information -- GitLab