@@ -9,8 +9,8 @@ For the purpose of this document, "JuMP" includes all repositories in the
9
9
10
10
## Mission
11
11
12
- The mission of the JuMP project is to provide a free, open-source, and
13
- high-performance software stack for mathematical optimization.
12
+ The mission of the JuMP project is to provide a free, open-source, easy-to-use
13
+ and powerful software stack for mathematical optimization.
14
14
15
15
## Code of Conduct
16
16
@@ -26,10 +26,10 @@ confidentially report a violation.
26
26
This section outlines the different entities that exist within the JuMP project,
27
27
their basic role, and how membership of each entity is determined.
28
28
29
- ### BDFL
29
+ ### Benevolent Dictator For Life
30
30
31
31
Due to his role in the creation of JuMP, [ Miles Lubin] ( https://github.com/mlubin )
32
- holds the role of [ BDFL] ( https://en.wikipedia.org/wiki/Benevolent_dictator_for_life ) .
32
+ holds the role of [ Benevolent Dictator For Life ( BDFL) ] ( https://en.wikipedia.org/wiki/Benevolent_dictator_for_life ) .
33
33
34
34
### Core Contributors
35
35
@@ -48,7 +48,8 @@ A new core contributor may be added by consensus of the current core
48
48
contributors and notification to the [ Steering Council] .
49
49
50
50
Before becoming a core contributor, it is expected that the community member is
51
- a [ repository maintainer] ( #repository-maintainers ) of several repositories.
51
+ a [ repository maintainer] ( #repository-maintainers ) of several repositories in
52
+ the [ JuMP-dev Github organization] .
52
53
53
54
### Emeritus Core Contributors
54
55
@@ -133,7 +134,7 @@ discussion on a [monthly developer call](#monthly-developer-call).
133
134
134
135
All non-financial decisions are made via consensus of the [ core contributors]
135
136
and relevant [ repository maintainers] . [ Emeritus core contributors] ( #emeritus-core-contributors )
136
- are not considered to be [ core contributors] for this purpose.
137
+ are not considered to be [ core contributors] for this purpose.
137
138
138
139
Code-related decisions, such when a pull request is ready to be accepted and
139
140
merged, should be discussed via the relevant Github issues and pull requests. If
@@ -234,6 +235,8 @@ The calls are currently scheduled on the fourth Thursday of every month at 14:00
234
235
Eastern. For information on how to take part, join the [ developer chatroom] and
235
236
ask ` @odow ` or ` @mlubin ` for an invite to the monthly developer call.
236
237
238
+ The invite contains information on how to table agenda items for upcoming calls.
239
+
237
240
### JuMP-dev Workshops
238
241
239
242
The [ Steering Council] will periodically choose a Chair to organize a JuMP-dev
0 commit comments