New package: WaitProfileEstimators v0.1.0#155430
Conversation
UUID: 396636b3-103e-4ec1-bf9c-f09d60477106 Repo: https://github.com/JamesMCannon/WaitProfileEstimators.jl.git Tree: 14e39f60a7809d0f0c64e09b3ef6b3ad9c959da1 Registrator tree SHA: 50f504d641745716a5b3eabaf681d3a4937d2ae3
ed4c264 to
360ec56
Compare
|
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 are all met! ✅Your new package registration met all of the guidelines for auto-merging and is scheduled to be merged when the mandatory waiting period (3 days) has elapsed. 3. 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 |
Uh oh!
There was an error while loading. Please reload this page.