-
Notifications
You must be signed in to change notification settings - Fork 464
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
New package: HJSON v1.0.0 #115834
New package: HJSON v1.0.0 #115834
Conversation
JuliaRegistrator
commented
Sep 24, 2024
- Registering package: HJSON
- Repository: https://github.com/fmatesa/HJSON.jl
- Created by: @fmatesa
- Version: v1.0.0
- Commit: da3f6a6dd03332a8bbab8c9957ee515108c43b08
- Git reference: HEAD
UUID: 6226b997-59fe-41cb-ba3d-177c22dd73bb Repo: https://github.com/fmatesa/HJSON.jl.git Tree: 85dcc33b0b94883260a49e4844afdb8fe16e340d Registrator tree SHA: 191228b6dd8b9d0e2965ae3e705fe54c51dcfee8
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 |
@goerz Ok now it should be fine. Sorry for the mess. |
That's okay, but next time, try to carefully read the guidelines and messages from the bot and plan ahead, so that it doesn't take quite as many attempts. In any case, the three-day waiting period still applies for this registration. After it ends, you will have to go to the |