Simplify development web page somewhat

Author: thijskh

website/development.shtml

@@ -4,90 +4,44 @@
 community with contributors from around the world. Question, suggestion
 bug or patch? All those are most welcome via the channels below.</p>
 
-<h2>Bugs / feature requests</h2>
-
-<p>Bugs and feature enhancements are tracked at <a href="https://github.com/DOMjudge/domjudge/issues">our Github project</a>. You may report a new issue there.
-Pull requests are also very welcome.
-If you have a <em>question</em> or you are unsure whether what you're seeing is
-a bug, please discuss it on <kbd>[email protected]</kbd> or
-<a href="chat">Slack</a> beforehand (see below).</p>
-
-<h2>Mailinglists</h2>
-
-<p>You are welcome to subscribe to our mailinglists:</p>
-<p>
-<dl>
-<dt>DOMjudge-announce</dt>
-<dd>This low-volume
-<a href="https://www.domjudge.org/mailman/listinfo/domjudge-announce">announcement list</a>
-is used for sending announcements about new releases and other important
-news.</dd>
-<dt>DOMjudge-devel</dt>
-<dd>The
-<a href="https://www.domjudge.org/mailman/listinfo/domjudge-devel">development mailinglist</a>
-is used for discussions on development, but is also used for asking general
-questions on using and installing DOMjudge.</dd>
-</dl>
-
-<p>Note that only the DOMjudge-devel list can be posted to, and only by
-list members (to prevent spam).</p>
-
-<h2>Snapshots</h2>
+<h2>Source code</h2>
 
-<p>We produce nightly snapshots of the latest DOMjudge sources (the
-<code>master</code> branch from the main git repository). These can be found in
-<a href="/snapshot/">the snapshot directory</a>. Note that our repository
-contains code that might be experimental, buggy or subject to change. Use
-at your own risk.</p>
+<p>The DOMjudge sources are maintained 
+<a href="https://github.com/DOMjudge/">on GitHub</a>.
+You can get the <a href="https://github.com/DOMjudge/domjudge">main repository</a>
+with the following command:
 
-<h2>Source code</h2>
+<pre>git clone https://github.com/DOMjudge/domjudge.git</pre>
 
-<p>The DOMjudge sources are maintained in Git, in four separate
-<a href="https://github.com/DOMjudge">repositories</a>:</p>
+<p>Refer to the <a href="/snapshot/manual/develop.html">manual on developer information</a>
+for how to run DOMjudge from git sources.</p>
 
-<dl>
-<dt>DOMjudge</dt>
-<dd>The main repository that contains the source code of the system itself.
-  <ul>
-  <li>Public git repository: <kbd>https://github.com/DOMjudge/domjudge.git</kbd></li>
-  <li>Public web interface: <a href="https://github.com/DOMjudge/domjudge">github</a>, <a href="https://www.domjudge.org/gitweb?p=domjudge.git">gitweb</a></li>
-  </ul>
-</dd>
-<dt>DOMjudge-packaging</dt>
-<dd>Contains packaging for various distributions.
-  <ul>
-  <li>Public git repository: <kbd>https://github.com/DOMjudge/domjudge-packaging.git</kbd></li>
-  <li>Public web interface: <a href="https://github.com/DOMjudge/domjudge-packaging">github</a>, <a href="https://www.domjudge.org/gitweb?p=domjudge-packaging.git">gitweb</a></li>
-  </ul>
-</dd>
-<dt>DOMjudge-scripts</dt>
-<dd>Contains various developer helper scripts and the website.
-  <ul>
-  <li>Public git repository: <kbd>https://github.com/DOMjudge/domjudge-scripts.git</kbd></li>
-  <li>Public web interface: <a href="https://github.com/DOMjudge/domjudge-scripts">github</a>, <a href="https://www.domjudge.org/gitweb?p=domjudge-scripts.git">gitweb</a></li>
-  </ul>
-</dd>
-<dt>Checktestdata</dt>
-<dd>Contains checktestdata: a program to syntactically verify testdata.
-  <ul>
-  <li>Public git repository: <kbd>https://github.com/DOMjudge/checktestdata.git</kbd></li>
-  <li>Public web interface: <a href="https://github.com/DOMjudge/checktestdata">github</a>, <a href="https://www.domjudge.org/gitweb?p=checktestdata.git">gitweb</a></li>
-  </ul>
-</dd>
-</dl>
+<h2>Bugs / feature requests</h2>
 
-<p>You can create a local copy of these git repositories with the command
-(replace URL as desired):</p>
+<p>Bugs and feature enhancements are tracked at
+<a href="https://github.com/DOMjudge/domjudge/issues">our Github project</a>.
+You may report a new issue there.
+If you have a <em>question</em> or you are unsure whether what you're seeing is
+a bug, please discuss it on <kbd>[email protected]</kbd> or
+chat beforehand (see below).</p>
 
-<pre>git clone https://github.com/DOMjudge/domjudge.git</pre>
+<h2>Mailinglist and chat</h2>
 
+<p>You are welcome to subscribe to our
+<a href="https://www.domjudge.org/mailman/listinfo/domjudge-devel">development mailinglist</a>
+for discussions on development, but also for asking general
+questions on using and installing DOMjudge (you need to subscribe
+to the list before you can post).
 
-<h2>More information</h2>
+<p>Our <a href="chat">Slack workspace</a> is also a great place to ask about
+issues of discuss improvement ideas.</p>
 
-<p>Additional information can be found in the administrator's manual,
-especially the
-<a href="/snapshot/manual/develop.html">appendix with developer information</a>.</p>
+<h2>How to contribute</h2>
 
-<p>If you have any questions left, don't hesitate to ask at the <a href="https://www.domjudge.org/mailman/listinfo/domjudge-devel">DOMjudge-devel mailinglist</a>.</p>
+We welcome contributions of any kind from anyone. Please see our
+<a href="https://github.com/DOMjudge/domjudge/blob/master/CONTRIBUTING.md">CONTRIBUTING</a>
+document for hints and places to start. Submitting a pull request
+is the best way to propose a change or improvement to DOMjudge.
+Be sure to ask if anything is unclear. We're glad to help!
 
 <!--#include virtual="/footer.shtml" -->