Sitelet https://github.com/math-comp/math-comp/blob/mathcomp-2.2.0/.github/pull_request_template.md
Skip to content

Latest commit

 

History

History
38 lines (24 loc) · 1.58 KB

File metadata and controls

38 lines (24 loc) · 1.58 KB
Motivation for this change
Things done/to do
  • added corresponding entries in CHANGELOG_UNRELEASED.md
  • added corresponding documentation in the headers
  • tried to abide by the contribution guide
Compatibility with MathComp 1.X
  • I added the label TODO: MC-1 port to make sure someone ports this PR to the mathcomp-1 branch or I already opened an issue or PR (please cross reference).
Automatic note to reviewers

Read this Checklist and put a milestone if possible.