<div dir="ltr">I would propose something standard like GitHub to host everything and track bugs.</div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Oct 27, 2014 at 2:25 PM, Benjamin C. Pierce <span dir="ltr"><<a href="mailto:bcpierce@cis.upenn.edu" target="_blank">bcpierce@cis.upenn.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">There are certainly other bugs and missing features (check the archives of the mailing lists for suggestions — there’s also a TODO file, but it’s pretty old), but this is the only correctness-critical one that I’m aware of at the moment.<br>
<br>
For a good overview of how Unison works internally, see the tech report “What’s in Unison” by me and Jerome.<br>
<span class="HOEnZb"><font color="#888888"><br>
    - Benjamin<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
<br>
<br>
On Oct 27, 2014, at 4:48 PM, <<a href="mailto:moonkid@posteo.org">moonkid@posteo.org</a>> <<a href="mailto:moonkid@posteo.org">moonkid@posteo.org</a>> wrote:<br>
<br>
> Dear Benjamin,<br>
><br>
> if this is really the "easiest bug" you currently have - Unison is<br>
> nearly perfect. :D<br>
><br>
> The problem you described is kind of to hot for me. I wrote some<br>
> sync-stuff for myself, too and know how disastrous small modifications<br>
> could be (losing TBs of data!).<br>
><br>
> I am not sure but maybe it is a little bit to much for me to start.<br>
><br>
> But...<br>
> Is there a detailed documentation about the sync-process, the checkings<br>
> and decisions of the algorithm? Is there a human readble text (not the<br>
> code) to understand how the algorithm work?<br>
> _______________________________________________<br>
> Unison-hackers mailing list<br>
> <a href="mailto:Unison-hackers@lists.seas.upenn.edu">Unison-hackers@lists.seas.upenn.edu</a><br>
> <a href="http://lists.seas.upenn.edu/mailman/listinfo/unison-hackers" target="_blank">http://lists.seas.upenn.edu/mailman/listinfo/unison-hackers</a><br>
<br>
_______________________________________________<br>
Unison-hackers mailing list<br>
<a href="mailto:Unison-hackers@lists.seas.upenn.edu">Unison-hackers@lists.seas.upenn.edu</a><br>
<a href="http://lists.seas.upenn.edu/mailman/listinfo/unison-hackers" target="_blank">http://lists.seas.upenn.edu/mailman/listinfo/unison-hackers</a><br>
</div></div></blockquote></div><br></div>