Skip to content

registry: fix mise-ghcup plugin managed tools descriptions#6411

Merged
jdx merged 1 commit intojdx:mainfrom
risu729:ghcup-desc
Sep 25, 2025
Merged

registry: fix mise-ghcup plugin managed tools descriptions#6411
jdx merged 1 commit intojdx:mainfrom
risu729:ghcup-desc

Conversation

@risu729
Copy link
Contributor

@risu729 risu729 commented Sep 25, 2025

No description provided.

Copilot AI review requested due to automatic review settings September 25, 2025 08:21
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

This PR corrects the descriptions for GHC and HLS tools in the registry configuration to provide more accurate and descriptive information about what these Haskell-related tools actually do.

  • Updated GHC description from generic GHCup installer text to proper compiler description
  • Updated HLS description from minimal text to comprehensive IDE support description

Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

@jdx jdx merged commit c5d65f1 into jdx:main Sep 25, 2025
23 checks passed
@jdx jdx mentioned this pull request Sep 25, 2025
@risu729 risu729 deleted the ghcup-desc branch September 25, 2025 12:56
jdx added a commit that referenced this pull request Sep 25, 2025
### 📦 Registry

- fix mise-ghcup plugin managed tools descriptions by @risu729 in
[#6411](#6411)
- add Tinymist by @3w36zj6 in
[#6412](#6412)
- revert djinni backend to ubi by @risu729 in
[#6410](#6410)

### 🚀 Features

- **(github)** filter remote versions by version_prefix by @risu729 in
[#6408](#6408)
- Remove experimental labels for GitHub and HTTP backends by @Copilot in
[#6415](#6415)

### 🧪 Testing

- **(vfox)** replace flaky external tests with local dummy plugin by
@jdx in [#6403](#6403)

### New Contributors

- @Copilot made their first contribution in
[#6415](#6415)

Co-authored-by: mise-en-dev <release@mise.jdx.dev>
@jdx jdx mentioned this pull request Sep 25, 2025
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.

3 participants