<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Hi Carsten,<br>
dune-typetree commits appear on the dune-pdelab-commit mailing
list:<br>
<br>
<a class="moz-txt-link-freetext" href="http://lists.dune-project.org/mailman/listinfo/dune-pdelab-commit">http://lists.dune-project.org/mailman/listinfo/dune-pdelab-commit</a><br>
<br>
Best,<br>
Oliver<br>
<br>
Am 17.09.2015 um 11:28 schrieb Carsten Gräser:<br>
</div>
<blockquote cite="mid:55FA87A2.4090007@mi.fu-berlin.de" type="cite">
<pre wrap="">Dear Steffen,
I'd like to follow the typetree development, but I'm not quite sure
how to do this. I know, that it's on github, but I don't know if
this is the official repository. I cloned (and am pulling) from
<a class="moz-txt-link-freetext" href="http://git.dune-project.org/repositories/dune-typetree">http://git.dune-project.org/repositories/dune-typetree</a>
But there I can't find any information on this.
How can I follow the development? Is there a push and/or development
mailing list or an rss-feed? Is the github repository in sync with the
one on dune-project?
Best,
Carsten
</pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
dune-functions mailing list
<a class="moz-txt-link-abbreviated" href="mailto:dune-functions@dune-project.org">dune-functions@dune-project.org</a>
<a class="moz-txt-link-freetext" href="http://lists.dune-project.org/mailman/listinfo/dune-functions">http://lists.dune-project.org/mailman/listinfo/dune-functions</a>
</pre>
</blockquote>
<br>
</body>
</html>