<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Dear all, <br>
</p>
<p>as you know, we have been reorganizing the OpenMath resources and
web site as multiple repositories at [1] <br>
</p>
<p>In particular we have the new CDs repository [2], which has the
CD resources and feeds the CD web site [3]<br>
</p>
<p>The idea is that [2] should facilitate CD development by
providing public source access, issues, pull requests, and
notifications. Now, the first outside user (Jacob Beal) has taken
advantage of this first by raising an issue [4], and then
providing a pull request [5] which is currently being discussed.
In a nutshell the proposal is to add negated binary connectives
nor, nand, and nxor to logic1.ocd.<br>
</p>
<p>So far so good, but this raises the question of how the CD
approval process should be organized (technically). <br>
</p>
<p>The OpenMath Standard [6] only says<br>
</p>
<div>
<h3 id="cdapprove">> 4.5 Content Dictionaries Reviewing Process</h3>
<p>> The <i>OpenMath</i> Society is responsible for
implementing a review and referee <br>
> process to assess the accuracy of the mathematical content
of Content Dictionaries. <br>
> The status (see <small><code>CDStatus</code></small>)
and/or the version number (see <small><code>CDVersion</code></small>
) of a Content |<br>
> Dictionary may change as a result of this review process. </p>
</div>
<p>which leaves the process open and the OpenMath Society delegates
the responsibility to its CD Editor (James Davenport). <br>
</p>
<p>James and I have started discussing the technical process of
approving CD revisions. We propose that we make the
GitHub-supported process we have started with Jacob's proposal the
standard and document it in the README of [2]. <br>
</p>
<p>Here is what we think the process should be. <br>
</p>
<ol>
<li>An extension proposal is made via a GitHub issue at [2] and
discussed there. <br>
</li>
<li>The discussion is concretized into a pull request (PR) to [2]
that is discussed further on the PR (including inline comments)
until all issues are resolved. <br>
</li>
<li>James explicitly approves the PR and someone with push rights
merges it. <br>
</li>
<li>the changes are announced and added to a changelog. <br>
</li>
</ol>
<p>We would like your input on this proposal (in particular what we
should do for 4.)</p>
<p>James & Michael <br>
</p>
<p><br>
</p>
<p>[1] <a class="moz-txt-link-freetext" href="https://github.com/OpenMath">https://github.com/OpenMath</a></p>
<p>[2] <a class="moz-txt-link-freetext" href="https://github.com/OpenMath/CDs">https://github.com/OpenMath/CDs</a></p>
<p>[3] <a class="moz-txt-link-freetext" href="http://openmath.org/cd/">http://openmath.org/cd/</a> <br>
</p>
<p>[4] <a class="moz-txt-link-freetext" href="https://github.com/OpenMath/CDs/issues/32">https://github.com/OpenMath/CDs/issues/32</a><br>
</p>
<p>[5] <a class="moz-txt-link-freetext" href="https://github.com/OpenMath/CDs/pull/34">https://github.com/OpenMath/CDs/pull/34</a></p>
<p>[6]
<a class="moz-txt-link-freetext" href="http://www.openmath.org/standard/om20-2017-07-22/omstd20.html#cdapprove">http://www.openmath.org/standard/om20-2017-07-22/omstd20.html#cdapprove</a></p>
<p>[7] <br>
</p>
<pre class="moz-signature" cols="72">--
----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase, <a class="moz-txt-link-freetext" href="http://kwarc.info/kohlhase">http://kwarc.info/kohlhase</a>, skype: mibein42
Professur für Wissensrepräsentation & -verarbeitung
Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139,
tel/fax: (49) 9131-85-64052/55, <a class="moz-txt-link-abbreviated" href="mailto:michael.kohlhase@fau.de">michael.kohlhase@fau.de</a>
----------------------------------------------------------------------
</pre>
</body>
</html>