New package: Holo v0.1.0 - #167990
Conversation
JuliaRegistrator
commented
Sep 12, 2026
- Registering package: Holo
- Repository: https://github.com/jowch/Holo.jl
- Created by: @jowch
- Version: v0.1.0
- Commit: 99d2906305947b514fe46d2dcb5bb99e02de7e5d
- Reviewed by: @jowch
- Reference: jowch/Holo.jl@99d2906#commitcomment-200127867
UUID: 82b01fb5-7eeb-4559-83ea-8d75f85d4328 Repo: https://github.com/jowch/Holo.jl.git Tree: 314ccc51cb54889c6283f71d7f7fae7c428f8642 Registrator tree SHA: 50f504d641745716a5b3eabaf681d3a4937d2ae3
* Fix General name-clash gate for packed Registry.toml
The round-1 check grepped a 129-byte General.toml pointer with
^name = "Holo"$ and treated a missing index as free. Read
General.tar.gz's inline { name = "…" } tables, fail if no package
index is found, and require HoloProcessing to be visible so the
suite cannot silent-pass.
Co-authored-by: Jonathan Chen <jwhc@ucla.edu>
* Prepare v0.1.0 freeze and TagBot first-tag path
Add official TagBot (v1.25.11 + DOCUMENTER_KEY ssh), freeze CHANGELOG
at 0.1.0 including #50–#53, close Base64 compat, and document that
Jonathan comments Registrator on a CI-green main commit after merge —
not on this PR, and not on the workflow-adding merge unless a later
no-workflow SHA or DOCUMENTER_KEY is in place.
Co-authored-by: Jonathan Chen <jwhc@ucla.edu>
* Fetch General Registry.toml when the depot has no tarball
Julia 1 / NoBackend CI resolve via the package server and never unpack
General.tar.gz, so the live name-clash check returned nothing. Search
every DEPOT_PATH registries dir, then curl upstream Registry.toml.
Co-authored-by: Jonathan Chen <jwhc@ucla.edu>
---------
Co-authored-by: Cursor Agent <cursoragent@cursor.com>
|
Hello, I am an automated registration bot. I help manage the registration process by checking your registration against a set of AutoMerge guidelines. If all these guidelines are met, this pull request will be merged automatically, completing your registration. It is strongly recommended to follow the guidelines, since otherwise the pull request needs to be manually reviewed and merged by a human. 1. New package registrationPlease make sure that you have read the package naming guidelines. 2. AutoMerge Guidelines which are not met ❌
3. Needs action: here's what to do next
If you need help fixing the AutoMerge issues, or want your pull request to be manually merged instead, please post a comment explaining what you need help with or why you would like this pull request to be manually merged. Then, send a message to the 4. To pause or stop registrationIf you want to prevent this pull request from being auto-merged, simply leave a comment. If you want to post a comment without blocking auto-merging, you must include the text Tip: You can edit blocking comments to add |