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.

Sign up for GitHub

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

Jump to bottom

[doc] Make the pull request template more like pylint #1917

Merged
merged 3 commits into from
Dec 26, 2022
Merged

[doc] Make the pull request template more like pylint #1917

merged 3 commits into from
Dec 26, 2022

Conversation

Pierre-Sassoulas
Copy link
Member

Type of Changes

Type
✓ 📜 Docs

Description

Easier if everything is the same.

@Pierre-Sassoulas Pierre-Sassoulas added Documentation 📗 Maintenance Discussion or action around maintaining astroid or the dev workflow labels Dec 26, 2022
@coveralls
Copy link

coveralls commented Dec 26, 2022 •
edited
Loading

Pull Request Test Coverage Report for Build 3783261205

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 92.289%
Totals Coverage Status
Change from base Build 3782798239: 0.0%
Covered Lines: 9910
Relevant Lines: 10738
💛 - Coveralls

@DanielNoord DanielNoord merged commit bc8177b into main Dec 26, 2022
@DanielNoord DanielNoord deleted the pull-request-template-like-pylint branch December 26, 2022 23:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@DanielNoord DanielNoord DanielNoord approved these changes

Assignees
No one assigned
Labels
Documentation 📗 Maintenance Discussion or action around maintaining astroid or the dev workflow
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Pierre-Sassoulas @coveralls @DanielNoord