Skip to content
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 version: MathProgBase v0.7.8 #9509

Merged
merged 1 commit into from
Feb 15, 2020

Conversation

JuliaRegistrator
Copy link
Contributor

UUID: fdba3010-5040-5b88-9595-932c9decdf73
Repo: https://github.com/JuliaOpt/MathProgBase.jl.git
Tree: 9abbe463a1e9fc507f12a69e7f29346c2cdc472c

Registrator tree SHA: f50e50c1d2a1b9694b1d5749fdb25fef2ca4c291
@github-actions
Copy link
Contributor

Your new version pull request does not meet the following guidelines for auto-merging:

  • A patch release is not allowed to narrow the supported ranges of Julia versions. The ranges have changed from Pkg.Types.VersionRange[VersionRange("0.6-1")] (in 0.7.7) to Pkg.Types.VersionRange[VersionRange("1")] (in 0.7.8).

Note that the guidelines are only required for the pull request to be merged automatically. However, it is strongly recommended to follow them, since otherwise the pull request needs to be manually reviewed and merged by a human.


If 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 [noblock] in your comment.

@ccoffrin
Copy link

@DilumAluthge, we would like to request an exception for this PR. This package is only for legacy support, but we had to update it to accommodate the new version of the tag bot.

CC @mlubin

[noblock]

@fredrikekre fredrikekre merged commit 982fa02 into master Feb 15, 2020
@fredrikekre fredrikekre deleted the registrator/mathprogbase/fdba3010/v0.7.8 branch February 15, 2020 18:38
@julia-tagbot
Copy link

julia-tagbot bot commented Feb 15, 2020

I've created release v0.7.8, here it is.


IMPORTANT: TagBot as a GitHub App is deprecated

TagBot as a GitHub App is deprecated; you should now migrate to TagBot as a GitHub Action.
Your repository should have received a pull request doing this for you, but if you did not receive this pull request, then see here for instructions.
For more information about this deprecation, please see this Discourse post.

@ccoffrin
Copy link

Thanks!

@DilumAluthge
Copy link
Member

Thanks @fredrikekre!

@DilumAluthge
Copy link
Member

I didn’t check my notifications until just now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants