Skip to content

dovecot: re-add workaround#267703

Open
cho-m wants to merge 1 commit intomainfrom
dovecot-workaround
Open

dovecot: re-add workaround#267703
cho-m wants to merge 1 commit intomainfrom
dovecot-workaround

Conversation

@cho-m
Copy link
Member

@cho-m cho-m commented Feb 15, 2026

  • Have you followed the guidelines for contributing?
  • Have you ensured that your commits follow the commit style guide?
  • Have you checked that there aren't other open pull requests for the same formula update/change?
  • Have you built your formula locally with HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>, where <formula> is the name of the formula you're submitting?
  • Is your test running fine brew test <formula>, where <formula> is the name of the formula you're submitting?
  • Does your build pass brew audit --strict <formula> (after doing HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>)? If this is a new formula, does it pass brew audit --new <formula>?

  • AI was used to generate or assist with generating this PR. Please specify below how you used AI to help you, and what steps you have taken to manually verify the changes.

@cho-m cho-m marked this pull request as draft February 15, 2026 17:25
@cho-m cho-m closed this Feb 15, 2026
@github-actions github-actions bot deleted the dovecot-workaround branch February 15, 2026 17:30
@cho-m cho-m restored the dovecot-workaround branch February 15, 2026 17:32
@cho-m cho-m reopened this Feb 15, 2026
@cho-m cho-m force-pushed the dovecot-workaround branch from 32287cf to 2afd490 Compare February 15, 2026 18:55
@cho-m cho-m marked this pull request as ready for review February 15, 2026 18:55
@cho-m cho-m force-pushed the dovecot-workaround branch from 2afd490 to d5c6895 Compare February 15, 2026 18:55
@cho-m cho-m added the ready to merge PR can be merged once CI is green label Feb 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready to merge PR can be merged once CI is green

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant