Skip to content

Conversation

mtojek
Copy link
Member

@mtojek mtojek commented Jul 10, 2024

This PR adds missing comment // in nolint annotation.

@mtojek mtojek self-assigned this Jul 10, 2024
@mtojek mtojek marked this pull request as ready for review July 10, 2024 09:47
@mtojek mtojek requested a review from dannykopping July 10, 2024 09:47
@mtojek mtojek changed the title fix: missing nolint comment fix: add missing nolint comment Jul 10, 2024
@mtojek mtojek added the hotfix label Jul 10, 2024
Copy link

@cdr-bot cdr-bot bot left a comment

Choose a reason for hiding this comment

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

This PR is a hotfix and has been automatically approved.

  • ✅ Base is main
  • ✅ Has hotfix label
  • ✅ Head is from coder/coder
  • ✅ Less than 100 lines

@mtojek mtojek enabled auto-merge (squash) July 10, 2024 09:48
@mtojek mtojek merged commit 70046ea into main Jul 10, 2024
@mtojek mtojek deleted the fix-slash branch July 10, 2024 09:55
@github-actions github-actions bot locked and limited conversation to collaborators Jul 10, 2024
@mtojek mtojek restored the fix-slash branch July 10, 2024 10:52
@github-actions github-actions bot deleted the fix-slash branch January 11, 2025 00:06
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants