A big thank you to all of the contributors over the last (nearly) 10 years! You can find a full list of the contributors in the blog post linked above.
Great news. The 1.0 version may be the nudge necessary to convince some people to migrate.
I have to admit I really did not expect to be in the Top 20 contributors by PR (even if it was a close call) as I made just a few PRs, I think this clearly evidences that the first few contributors (odow especially) have carried JuMP on their backs.
Congratulations for the 1.0.0 release of JuMP. Thanks for the hard work of odow and other contributors.
JuMP makes constructing and solving optimization models easier and more pleasant. Its layered abstraction based on MathOptInterface is an elegant design to support multiple solvers.