Skip to content

fix(update): Skip logs starting with (chore)#4800

Merged
rashil2000 merged 2 commits intodevelopfrom
rashil2000-patch-1
Mar 10, 2022
Merged

fix(update): Skip logs starting with (chore)#4800
rashil2000 merged 2 commits intodevelopfrom
rashil2000-patch-1

Conversation

@rashil2000
Copy link
Copy Markdown
Member

Description

Skip logs starting with (chore) instead of chore

Motivation and Context

Closes #4799

How Has This Been Tested?

image

Checklist:

  • I have read the Contributing Guide.
  • I have updated the documentation accordingly.
  • I have updated the tests accordingly.

@niheaven
Copy link
Copy Markdown
Member

niheaven commented Mar 10, 2022

Arg in --grep needn't be escaped, right?

@rashil2000
Copy link
Copy Markdown
Member Author

No (see screenshot)

@niheaven
Copy link
Copy Markdown
Member

OK, LGTM, add changelog entry and could be merged.

@rashil2000 rashil2000 merged commit 476b507 into develop Mar 10, 2022
@rashil2000 rashil2000 deleted the rashil2000-patch-1 branch March 10, 2022 07:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants