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

[Merged by Bors] - Changes neccesary -> necessary #2370

Closed
wants to merge 1 commit into from
Closed

[Merged by Bors] - Changes neccesary -> necessary #2370

wants to merge 1 commit into from

Conversation

nekevss
Copy link
Member

@nekevss nekevss commented Oct 22, 2022

Just a small fix to a typo in the comment on the PR template 😄

@jedel1043 jedel1043 added the Internal Category for changelog label Oct 22, 2022
@jedel1043 jedel1043 added this to the v0.17.0 milestone Oct 22, 2022
@codecov
Copy link

codecov bot commented Oct 23, 2022

Codecov Report

Merging #2370 (e48497d) into main (f4cef14) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #2370   +/-   ##
=======================================
  Coverage   40.05%   40.05%           
=======================================
  Files         304      304           
  Lines       23397    23397           
=======================================
  Hits         9371     9371           
  Misses      14026    14026

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

Razican
Razican approved these changes Oct 23, 2022
View reviewed changes
Copy link
Member

@Razican Razican left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@Razican
Copy link
Member

Razican commented Oct 23, 2022

bors r+

bors bot pushed a commit that referenced this pull request Oct 23, 2022
@nekevss
Changes neccesary -> necessary (#2370)
af5970e 
<!---
Thank you for contributing to Boa! Please fill out the template below, and remove or add any
information as you feel neccesary.
--->

Just a small fix to a typo in the comment on the PR template 😄
@bors
Copy link

bors bot commented Oct 23, 2022

Pull request successfully merged into main.

Build succeeded:

@bors bors bot changed the title Changes neccesary -> necessary [Merged by Bors] - Changes neccesary -> necessary Oct 23, 2022
@bors bors bot closed this Oct 23, 2022
@Razican Razican added the hacktoberfest-accepted PR accepted for Hacktoberfest label Oct 23, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Razican Razican Razican approved these changes

@jedel1043 jedel1043 jedel1043 approved these changes

Assignees
No one assigned
Labels
hacktoberfest-accepted PR accepted for Hacktoberfest Internal Category for changelog
Projects
None yet
Milestone
v0.17.0
Development

Successfully merging this pull request may close these issues.
3 participants
@nekevss @Razican @jedel1043