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

feat(pr): remove diff comment #103

Merged
merged 1 commit into from
Jan 26, 2024
Merged

feat(pr): remove diff comment #103

merged 1 commit into from
Jan 26, 2024

Conversation

benjamin-guibert
Copy link
Contributor

@benjamin-guibert benjamin-guibert commented Jan 26, 2024 •
edited
Loading

Checklist

Pull Request requirements:

  • PR: Add notes and link issue(s) if needed
  • PR: Add assignees
  • PR: Add labels (type: fix, type: feature, breaking, changelog-ignore) if needed
  • Code: Update tests if needed
  • Code: Update documentation (README, ...) if needed

Notes

@benjamin-guibert benjamin-guibert self-assigned this Jan 26, 2024
@benjamin-guibert benjamin-guibert added the type: feature New Feature label Jan 26, 2024
@benjamin-guibert benjamin-guibert marked this pull request as ready for review January 26, 2024 16:31
@benjamin-guibert benjamin-guibert merged commit 0e4a16a into main Jan 26, 2024
2 checks passed
@benjamin-guibert benjamin-guibert deleted the feat/pr-comment branch January 26, 2024 16:43
@github-actions github-actions bot mentioned this pull request Jan 26, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@benjamin-guibert benjamin-guibert

Labels
type: feature New Feature
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Remove PR comment on edition
1 participant
@benjamin-guibert