New package: StandaloneIpopt v0.1.0 #65487
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
UUID: 2377441b-c98c-4b62-8dd7-ad61dfe8e447 Repo: git@git.sr.ht:~cgeoga/StandaloneIpopt.jl Tree: 20f61d9876f7486060806c42e861bfcd4d0f18f8
cgeoga
changed the title
|
@giordano, could I bug you for a merge here? The 72 hour window has passed and everything looks green. |
|
@fredrikekre, are you around? Looks like @giordano is on vacation, could I bug you for a merge here? |
You could use the |
|
Nice, thanks! I will do that from now on. I really love the package, by the way---thank you for putting it together. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Hello---
This code is not hosted on GitHub, but this PR was generated using
LocalRegistry.jland I tweaked therepoarg manually to be the URL instead of the ssh-based git clone address per guidance from @fredrikekre the last time I did this.I understand there is a three day waiting period for new packages, so happy to wait. But this will need a manual merge after that.
Tangentially related, but is there any way to give me permission just to add the "needs manual merge" tag? I feel a bit guilty constantly @-ing people here, but considering that the format of my PRs is identical to the ones that get auto-merged it seems easy to overlook.