Skip to content

submission: choose-gui: version 1.5.0 #29334

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.

Sign up for GitHub

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

Jump to bottom
Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

submission: choose-gui: version 1.5.0 #29334

wants to merge 1 commit into from

Conversation

fracai
Copy link
Contributor

@fracai fracai commented Sep 14, 2025 •
edited
Loading

Description

new port for "choose"

Type(s)
  • enhancement
Tested on

macOS 15.6 24G84 arm64
Xcode 16.2 16C5032a

Verification

Have you

  • followed our Commit Message Guidelines?
  • squashed and minimized your commits?
  • checked that there aren't other open pull requests for the same change?
  • checked your Portfile with port lint?
  • n/a: tried a full install with sudo port -vst install? (broken on Sequoia #66358)
  • tested basic functionality of all binary files?
  • checked that the Portfile's most important variants haven't been broken?

@fracai fracai force-pushed the choose-gui branch 2 times, most recently from 0fcc6b4 to 1b3b3d7 Compare September 14, 2025 23:00
@fracai
Copy link
Contributor Author

fracai commented Sep 25, 2025 •
edited
Loading

The failed macOS-13 build looks like it just failed to retrieve the source archive.
Is there a way to restart the build?

Rather, it looks like port index failed to connect to GitHub?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
type: enhancement type: submission
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@fracai @macportsbot