Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

diagnostic: don't show cask taps with no casks. #17466

Merged
merged 1 commit into from
Jun 11, 2024
Merged

Conversation

MikeMcQuaid
Copy link
Member

This avoids displaying a bunch of non-cask taps here.

This avoids displaying a bunch of non-cask taps here.
@MikeMcQuaid MikeMcQuaid merged commit a113099 into master Jun 11, 2024
34 checks passed
@MikeMcQuaid MikeMcQuaid deleted the cask_taps_zero branch June 11, 2024 09:17
@github-actions github-actions bot added the outdated PR was locked due to age label Jul 12, 2024
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jul 12, 2024
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
outdated PR was locked due to age
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants