Skip to content

Add missing label to label checker#2798

Merged
jesseduffield merged 1 commit intomasterfrom
github-release-notes-3
Jul 20, 2023
Merged

Add missing label to label checker#2798
jesseduffield merged 1 commit intomasterfrom
github-release-notes-3

Conversation

@jesseduffield
Copy link
Owner

@jesseduffield jesseduffield commented Jul 20, 2023

  • PR Description

Missed the bug label

  • Please check if the PR fulfills these requirements
  • Cheatsheets are up-to-date (run go run scripts/cheatsheet/main.go generate)
  • Code has been formatted (see here)
  • Tests have been added/updated (see here for the integration test guide)
  • Text is internationalised (see here)
  • Docs (specifically docs/Config.md) have been updated if necessary
  • You've read through your own file changes for silly mistakes etc

@jesseduffield jesseduffield added the ignore-for-release This will exclude the PR from release notes label Jul 20, 2023
@jesseduffield jesseduffield merged commit a548b28 into master Jul 20, 2023
@jesseduffield jesseduffield deleted the github-release-notes-3 branch July 20, 2023 07:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ignore-for-release This will exclude the PR from release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant