<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p>Probably a good discussion topic for the OpenMath workshop. <br>
    </p>
    <p>Michael <br>
    </p>
    <br>
    <div class="moz-cite-prefix">On 30.05.18 17:34, Michael Kohlhase
      wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:2d91cee2-056f-d18a-da86-ee6ee1734567@fau.de">
      <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
      <p>Dear James, dear all, <br>
      </p>
      <div class="moz-cite-prefix">On 29.04.18 11:15, James Davenport
        wrote:<br>
      </div>
      <blockquote type="cite"
        cite="mid:8C3ACFED-C567-4F23-98CF-39207B729653@bath.ac.uk">
        Thanks for starting this debate: a useful corollary to the
        decision to go GitHub. I propose that “CD Editor” becomes
        plural, and we start having a team.</blockquote>
      I second that, that would get us around the
      "single-point-of-failure/delay" problem. <br>
      <blockquote type="cite"
        cite="mid:8C3ACFED-C567-4F23-98CF-39207B729653@bath.ac.uk"> I
        have no immediate intention of stepping down, but Michael’s Post
        has made me realise how ad hominem the current system is.
        Presumably the editors should essentially (I.e. apart from
        sysadmins) be those with push rights to this repository.  </blockquote>
      I would suggest a new "team" of CD Editors at the GithHub level,
      and have three editors and James as Editor-in-chief. a<br>
      <blockquote type="cite"
        cite="mid:8C3ACFED-C567-4F23-98CF-39207B729653@bath.ac.uk">
        <div>A change log would be necessary.</div>
      </blockquote>
      I think the GitHub log should be sufficient, if people give good
      commit messages. <br>
      <br>
      Michael <br>
      <blockquote type="cite"
        cite="mid:8C3ACFED-C567-4F23-98CF-39207B729653@bath.ac.uk">
        <div> I wonder (no real views either way - what do those with
          experience of larger/longer lasting projects think) whether a
          simple text (probably actually HTML) file will suffice.  </div>
        <div><br>
        </div>
        <div>James<br>
          <br>
          <div id="AppleMailSignature">Sent from my iPhone</div>
          <div><br>
            On 29 Apr 2018, at 09:42, Michael Kohlhase <<a
              href="mailto:michael.kohlhase@fau.de"
              moz-do-not-send="true">michael.kohlhase@fau.de</a>>
            wrote:<br>
            <br>
          </div>
          <blockquote type="cite">
            <div>
              <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"
                  moz-do-not-send="true">https://github.com/OpenMath</a></p>
              <p>[2] <a class="moz-txt-link-freetext"
                  href="https://github.com/OpenMath/CDs"
                  moz-do-not-send="true">https://github.com/OpenMath/CDs</a></p>
              <p>[3] <a class="moz-txt-link-freetext"
                  href="http://openmath.org/cd/" moz-do-not-send="true">http://openmath.org/cd/</a>
                <br>
              </p>
              <p>[4] <a class="moz-txt-link-freetext"
                  href="https://github.com/OpenMath/CDs/issues/32"
                  moz-do-not-send="true">
                  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"
                  moz-do-not-send="true">
                  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"
                  moz-do-not-send="true">
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" moz-do-not-send="true">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" moz-do-not-send="true">michael.kohlhase@fau.de</a> 
----------------------------------------------------------------------
</pre>
            </div>
          </blockquote>
          <blockquote type="cite">
            <div><span>_______________________________________________</span><br>
              <span>Om mailing list</span><br>
              <span><a href="mailto:Om@openmath.org"
                  moz-do-not-send="true">Om@openmath.org</a></span><br>
              <span><a
                  href="http://mailman.openmath.org/cgi-bin/mailman/listinfo/om"
                  moz-do-not-send="true">http://mailman.openmath.org/cgi-bin/mailman/listinfo/om</a></span><br>
            </div>
          </blockquote>
        </div>
      </blockquote>
      <br>
      <pre class="moz-signature" cols="72">-- 
----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase,  <a class="moz-txt-link-freetext" href="http://kwarc.info/kohlhase" moz-do-not-send="true">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" moz-do-not-send="true">michael.kohlhase@fau.de</a> 
----------------------------------------------------------------------
</pre>
    </blockquote>
    <br>
    <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>