Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[github] update issues and PR templates #78

Merged
merged 3 commits into from
May 9, 2023
Merged

Conversation

lgrd
Copy link
Collaborator

@lgrd lgrd commented May 9, 2023

Need

There were no templates for PR; and the templates for issues needed a few changes.

Tasks

  • Code the feature on a new branch created from develop (see next paragraph)
  • Update tests
    • utest/itest if modification of a classe
    • rtest if modification of an API
    • ctest if modification of a configuration
  • Run tests
    • Inside the docker provided by the project : rtest, ctest, utest, itest
    • Manually if necessary
  • Update the documentation
    • changelog.md
    • documentation directory
  • If possible, rebase your branch from develop

Code

I only edited the template files.

@lgrd lgrd self-assigned this May 9, 2023
@lgrd lgrd added documentation Improvements or additions to documentation CI Related to Continuous Integration labels May 9, 2023
@lgrd lgrd requested a review from azarz May 9, 2023 14:34
@lgrd lgrd merged commit b0583a6 into develop May 9, 2023
@lgrd lgrd deleted the git/update_templates branch May 9, 2023 14:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI Related to Continuous Integration documentation Improvements or additions to documentation
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants