Skip to content

feat: add micelio.dev/hif package#51929

Merged
suzuki-shunsuke merged 3 commits into
aquaproj:mainfrom
pepicrft:feat/miceliodev-hif-0.1.0
Apr 13, 2026
Merged

feat: add micelio.dev/hif package#51929
suzuki-shunsuke merged 3 commits into
aquaproj:mainfrom
pepicrft:feat/miceliodev-hif-0.1.0

Conversation

@pepicrft

@pepicrft pepicrft commented Apr 12, 2026

Copy link
Copy Markdown
Contributor

Adds the miceliodev/hif package.

hif is the command-line client for Micelio, a forge-first version-control system built for the agent era. It uses sessions (not commits), gRPC (not the Git protocol), and S3-backed storage with compare-and-swap landing.

Note

Why type: http instead of github_release
Micelio is itself an alternative forge and version-control system. hif releases are published to our own S3-backed release infrastructure at releases.micelio.dev, not to GitHub Releases.

Package details

Field Value
Type http
Platforms darwin/amd64, darwin/arm64, linux/amd64, linux/arm64
Format tar.gz
Checksum SHA256SUMS (HTTP-hosted alongside each version)
First version 0.1.0

Verification

All artifacts are publicly accessible:

$ curl -sSL https://releases.micelio.dev/hif/0.1.0/SHA256SUMS
263b3d9c...  hif-darwin-arm64.tar.gz
94df10c6...  hif-darwin-x64.tar.gz
feff3a69...  hif-linux-arm64.tar.gz
c919b8e0...  hif-linux-x64.tar.gz

$ curl -sSL https://releases.micelio.dev/hif/0.1.0/hif-darwin-arm64.tar.gz | tar -xz && ./hif --version
hif 0.1.0

Summary by CodeRabbit

  • New Features
    • The hif package (Micelio command-line client) is now available in the registry for macOS and Linux systems.

@coderabbitai

coderabbitai Bot commented Apr 12, 2026

Copy link
Copy Markdown

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info
⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro

Run ID: a05c5af9-564e-4817-877d-9d34a1ce96fe

📥 Commits

Reviewing files that changed from the base of the PR and between ee5873a and 2f586eb.

📒 Files selected for processing (3)
  • pkgs/micelio.dev/hif/pkg.yaml
  • pkgs/micelio.dev/hif/registry.yaml
  • registry.yaml
✅ Files skipped from review due to trivial changes (2)
  • pkgs/micelio.dev/hif/pkg.yaml
  • pkgs/micelio.dev/hif/registry.yaml
🚧 Files skipped from review as they are similar to previous changes (1)
  • registry.yaml

📝 Walkthrough

Walkthrough

The changes add a new package definition for micelio.dev/hif (Micelio command-line client) across registry and manifest files. The definition includes HTTP-based artifact download templating by version and platform, tar.gz archive format specification, supported environments (darwin, linux), and SHA256 checksum verification configuration.

Changes

Cohort / File(s) Summary
Micelio Package Registry Entries
registry.yaml, pkgs/micelio.dev/hif/registry.yaml
Added registry configurations for micelio.dev/hif package, including HTTP download URL templates (with {{.Version}}, {{.OS}}, {{.Arch}}, {{.Format}} placeholders), architecture replacement mapping (amd64x64), tar.gz format, darwin/linux platform support, and HTTP-based SHA256 checksum verification.
Micelio Package Manifest
pkgs/micelio.dev/hif/pkg.yaml
Added package manifest declaring micelio.dev/hif@0.1.0 availability.

Estimated code review effort

🎯 1 (Trivial) | ⏱️ ~3 minutes

Suggested labels

enhancement

Poem

🐰 A forge-first client hops into the fold,
Micelio's magic, in archives of gold,
Cross-platform downloads, checksums so bright,
From darwin to linux, the agent age takes flight! 🚀

🚥 Pre-merge checks | ✅ 3
✅ Passed checks (3 passed)
Check name Status Explanation
Title check ✅ Passed The title clearly summarizes the main change: adding a new package (miceliodev/hif) to the registry. It is specific, concise, and directly related to the changeset.
Description check ✅ Passed The description is thorough and complete, with clear package details, verification steps, and explanation for design choices. However, the required checklist from the template is not included in the PR description.
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.

✏️ Tip: You can configure your own custom pre-merge checks in the settings.

✨ Finishing Touches
🧪 Generate unit tests (beta)
  • Create PR with unit tests

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands and usage tips.

@github-actions

This comment was marked as resolved.

@pepicrft pepicrft marked this pull request as ready for review April 12, 2026 12:19
@github-actions

Copy link
Copy Markdown

@suzuki-shunsuke Ready for review

@github-actions

This comment was marked as resolved.

@coderabbitai coderabbitai Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Actionable comments posted: 3

🤖 Prompt for all review comments with AI agents
Verify each finding against the current code and only fix it if needed.

Inline comments:
In `@pkgs/miceliodev/hif/registry.yaml`:
- Line 5: Remove the trailing period from the description field in registry.yaml
by editing the description value (the "description" key shown in the diff) so it
no longer ends with a period; update the string "hif - the Micelio command-line
client. A forge-first version-control system for the agent era." to remove the
final "." at the end of the description.
- Around line 3-6: The registry entry for the package (the block with keys type:
http, name: miceliodev/hif, description, link) is missing required package
identification fields; add repo_owner and repo_name keys to that package record
(e.g., repo_owner: miceliodev and repo_name: hif) so aqua-registry validates
even for type: http packages; ensure the values match the existing name split to
avoid the "repo_owner must be specified" pipeline error.

In `@registry.yaml`:
- Around line 60591-60607: The package entry with name "miceliodev/hif" is
missing required repository metadata; add repo_owner and repo_name fields to the
same package block (e.g., set repo_owner: miceliodev and repo_name: hif) so the
registry entry that defines name: miceliodev/hif validates; ensure the new keys
are added alongside url, files, and format within that package YAML stanza.
🪄 Autofix (Beta)

Fix all unresolved CodeRabbit comments on this PR:

  • Push a commit to this branch (recommended)
  • Create a new PR with the fixes

ℹ️ Review info
⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro

Run ID: c7b9eedd-4c3d-40b4-a3bd-3c2e46b566ea

📥 Commits

Reviewing files that changed from the base of the PR and between 5b66670 and 8285e97.

📒 Files selected for processing (3)
  • pkgs/miceliodev/hif/pkg.yaml
  • pkgs/miceliodev/hif/registry.yaml
  • registry.yaml

Comment thread pkgs/miceliodev/hif/registry.yaml Outdated
Comment thread pkgs/miceliodev/hif/registry.yaml Outdated
Comment thread registry.yaml Outdated
@pepicrft pepicrft force-pushed the feat/miceliodev-hif-0.1.0 branch from ee5873a to 738720f Compare April 12, 2026 12:25
@github-actions

This comment was marked as resolved.

@pepicrft pepicrft force-pushed the feat/miceliodev-hif-0.1.0 branch from 738720f to c65762f Compare April 12, 2026 12:31
Comment thread pkgs/miceliodev/hif/registry.yaml Outdated
Comment on lines +4 to +5
repo_owner: miceliodev
repo_name: hif

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Suggested change
repo_owner: miceliodev
repo_name: hif

https://github.com/miceliodev/hif isn't found.
We should rename the package.

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

https://micelio.dev/micelio/micelio/tree/hif

Candidates:

  • micelio.dev/micelio/micelio/hif
  • micelio.dev/micelio/hif
  • micelio.dev/hif

I'm not familiar with micelio.dev, but micelio.dev/hif is simple.

@suzuki-shunsuke suzuki-shunsuke added the enhancement New feature or request label Apr 13, 2026
@suzuki-shunsuke suzuki-shunsuke added this to the v4.493.0 milestone Apr 13, 2026
@suzuki-shunsuke suzuki-shunsuke merged commit 86f89a5 into aquaproj:main Apr 13, 2026
19 checks passed
@github-project-automation github-project-automation Bot moved this to Done in main Apr 13, 2026
@suzuki-shunsuke suzuki-shunsuke changed the title feat: add miceliodev/hif package feat: add micelio.dev/hif package Apr 13, 2026
@suzuki-shunsuke

Copy link
Copy Markdown
Member

tmeijn pushed a commit to tmeijn/dotfiles that referenced this pull request Apr 15, 2026
This MR contains the following updates:

| Package | Update | Change |
|---|---|---|
| [aquaproj/aqua-registry](https://github.com/aquaproj/aqua-registry) | minor | `v4.492.0` → `v4.493.0` |

MR created with the help of [el-capitano/tools/renovate-bot](https://gitlab.com/el-capitano/tools/renovate-bot).

**Proposed changes to behavior should be submitted there as MRs.**

---

### Release Notes

<details>
<summary>aquaproj/aqua-registry (aquaproj/aqua-registry)</summary>

### [`v4.493.0`](https://github.com/aquaproj/aqua-registry/releases/tag/v4.493.0)

[Compare Source](aquaproj/aqua-registry@v4.492.0...v4.493.0)

[Issues](https://github.com/aquaproj/aqua-registry/issues?q=is%3Aissue+milestone%3Av4.493.0) | [Merge Requests](https://github.com/aquaproj/aqua-registry/pulls?q=is%3Apr+milestone%3Av4.493.0) | <aquaproj/aqua-registry@v4.492.0...v4.493.0>

#### 🎉 New Packages

[#&#8203;51977](aquaproj/aqua-registry#51977) [trzsz/trzsz-go](https://github.com/trzsz/trzsz-go) - trzsz-go is the go version of trzsz, makes all terminals that support local shell to support trzsz ( trz / tsz ) [@&#8203;ZeroAurora](https://github.com/ZeroAurora)
[#&#8203;51929](aquaproj/aqua-registry#51929) [micelio.dev/hif](https://micelio.dev/micelio/micelio/tree/hif) - The hif CLI - a forge-first version control system for the agent era [@&#8203;pepicrft](https://github.com/pepicrft)
[#&#8203;51717](aquaproj/aqua-registry#51717) [IBM-Cloud/ibm-cloud-cli-release](https://github.com/IBM-Cloud/ibm-cloud-cli-release) - Command line interface for IBM Cloud [@&#8203;dnwe](https://github.com/dnwe)
[#&#8203;51715](aquaproj/aqua-registry#51715) [pgplex/pgschema](https://github.com/pgplex/pgschema) - Terraform-style, declarative schema migration CLI for Postgres. Agent friendly [@&#8203;kaz](https://github.com/kaz)

#### Fixes

[#&#8203;51964](aquaproj/aqua-registry#51964) mvdan/sh: Support Windows [@&#8203;zeitlinger](https://github.com/zeitlinger)
[#&#8203;51905](aquaproj/aqua-registry#51905) temporalio/temporal: refresh server bundle binaries [@&#8203;chaptersix](https://github.com/chaptersix)

#### Security

[#&#8203;51716](aquaproj/aqua-registry#51716) gleam-lang/gleam: GitHub artifact attestations config [@&#8203;scop](https://github.com/scop)

</details>

---

### Configuration

📅 **Schedule**: (UTC)

- Branch creation
  - At any time (no schedule defined)
- Automerge
  - At any time (no schedule defined)

🚦 **Automerge**: Disabled by config. Please merge this manually once you are satisfied.

♻ **Rebasing**: Whenever MR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 **Ignore**: Close this MR and you won't be reminded about this update again.

---

 - [ ] <!-- rebase-check -->If you want to rebase/retry this MR, check this box

---

This MR has been generated by [Renovate Bot](https://github.com/renovatebot/renovate).
<!--renovate-debug:eyJjcmVhdGVkSW5WZXIiOiI0My4xMTMuMCIsInVwZGF0ZWRJblZlciI6IjQzLjExMy4wIiwidGFyZ2V0QnJhbmNoIjoibWFpbiIsImxhYmVscyI6WyJSZW5vdmF0ZSBCb3QiLCJhdXRvbWF0aW9uOmJvdC1hdXRob3JlZCIsImRlcGVuZGVuY3ktdHlwZTo6bWlub3IiXX0=-->
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants