Skip to content

kstars 3.7.8 #224304

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.

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

Merged
merged 1 commit into from
Aug 17, 2025
Merged

kstars 3.7.8 #224304

merged 1 commit into from
Aug 17, 2025

Conversation

samford
Copy link
Member

@samford samford commented Aug 17, 2025

Important: Do not tick a checkbox if you haven’t performed its action. Honesty is indispensable for a smooth review process.

In the following questions <cask> is the token of the cask you're submitting.

After making any changes to a cask, existing or new, verify:

Additionally, if adding a new cask:

  • Named the cask according to the token reference.
  • Checked the cask was not already refused (add your cask's name to the end of the search field).
  • brew audit --cask --new <cask> worked successfully.
  • HOMEBREW_NO_INSTALL_FROM_API=1 brew install --cask <cask> worked successfully.
  • brew uninstall --cask <cask> worked successfully.

kstars is autobumped but the workflow is failing to update to version 3.7.8 because download the dmg file seems to require a browser user agent now. This adds a user_agent option to the cask url and updates the macOS dependency to resolve the brew audit failure.

`kstars` is autobumped but the workflow is failing to update to
version 3.7.8 because download the dmg file seems to require a browser
user agent now. This adds a `user_agent` option to the cask `url` and
updates the macOS dependency to resolve the `brew audit` failure.
@khipp khipp enabled auto-merge August 17, 2025 17:02
@khipp khipp added this pull request to the merge queue Aug 17, 2025
Merged via the queue into main with commit 0def34c Aug 17, 2025
15 checks passed
@khipp khipp deleted the kstars-3.7.8 branch August 17, 2025 17:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants