diff --git a/ISSUE_TEMPLATE.md b/.gitlab/issue_templates/bug_report.md similarity index 87% rename from ISSUE_TEMPLATE.md rename to .gitlab/issue_templates/bug_report.md index 8c06523127fa5f16f100151fc8ae80c10be8e2a3..b01c0a798eea16182a8c10988dd03d4c870a5e32 100644 --- a/ISSUE_TEMPLATE.md +++ b/.gitlab/issue_templates/bug_report.md @@ -4,9 +4,9 @@ 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 [Github](https://github.com/Frama-C/Frama-C-snapshot/issues); +- [ ] 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); -- [ ] you installed Frama-C as prescribed in the [instructions](https://github.com/Frama-C/Frama-C-snapshot/blob/master/INSTALL.md). +- [ ] you installed Frama-C as prescribed in the [instructions](INSTALL.md). # Contextual information diff --git a/.gitlab/merge_request_templates/external_contribution.md b/.gitlab/merge_request_templates/external_contribution.md new file mode 100644 index 0000000000000000000000000000000000000000..e7586d07962708f8e7abec8c04a7f8223a3291f7 --- /dev/null +++ b/.gitlab/merge_request_templates/external_contribution.md @@ -0,0 +1,9 @@ +Thank you for submitting a merge request to the Frama-C team. +We propose the following template to ease the process. +Please directly edit it inline to provide the required information. + +Before submitting the merge request, please confirm (by adding a X in the [ ]): + +- [ ] you contributed to Frama-C as prescribed in the [instructions](CONTRIBUTING.md). +- [ ] if the size of the PR requires it, you have signed the + [Contributor Licensing Agreement](CLA.md) diff --git a/PULL_REQUEST_TEMPLATE.md b/PULL_REQUEST_TEMPLATE.md deleted file mode 100644 index 65f096b166487e2315bfd712628fead0edc18a7f..0000000000000000000000000000000000000000 --- a/PULL_REQUEST_TEMPLATE.md +++ /dev/null @@ -1,10 +0,0 @@ -Thank you for submitting a pull request (PR) to the Frama-C team. -We propose the following template to ease the process. -Please directly edit it inline to provide the required information. - -Before submitting the PR, please confirm (by adding a X in the [ ]): - -- [ ] this pull request is linked to an issue on [Github](https://github.com/Frama-C/Frama-C-snapshot/issues) or on our [BTS](https://bts.frama-c.com); -- [ ] you contributed to Frama-C as prescribed in the [instructions](https://github.com/Frama-C/Frama-C-snapshot/blob/master/CONTRIBUTING.md). -- [ ] if the size of the PR requires it, you have signed the - [Contributor Licensing Agreement](https://github.com/Frama-C/Frama-C-snapshot/blob/master/CLA.md)