Re: Can the documentation for Unison be migrated from the UPenn site?

But what's gonna happen to the upenn site? If GitHub is where Unison will 
stay, then I think all the documentation should just be in one place.
On Thursday, July 20, 2023 at 8:01:28 AM UTC-4 [email protected] wrote:

> Thanks for pointing this out, Yousuf!
>
> The Unison project has migrated to GitHub 
> <https://urldefense.com/v3/__https://github.com/bcpierce00/unison__;!!IBzWLUs!SKG5mxFighWm7GDe0XVuU3uKx4moOV8bW02Z1yMWlMoSkXPeUxBNlOVygoLwgwtrx-0OB78DB0ZzXUKnEvia954yRLAL1A$>, 
> and up to date documentation can be found there.  I've hopefully now fixed 
> all the pointers from the old UPenn web site...
>
> Best,
>
>     - Benjamin
>
> On Sun, Jul 2, 2023 at 8:36 AM Yousuf Syed <[email protected]> wrote:
>
>> Most of the documentation for Unison is on 
>> https://www.cis.upenn.edu/~bcpierce/unison/, however the documentation 
>> has been down for a month now and can only be accessed through The Wayback 
>> Machine: 
>> https://web.archive.org/web/20230607201850/https://www.cis.upenn.edu/~bcpierce/unison/download/releases/stable/unison-manual.html#unisondir 
>> <https://urldefense.com/v3/__https://web.archive.org/web/20230607201850/https:/*www.cis.upenn.edu/*bcpierce/unison/download/releases/stable/unison-manual.html*unisondir__;L34j!!IBzWLUs!Ww-ETxlz6ocpk1YRANMXXiQL8uGQZ5A_fVMIe9CnIXA34Y3zBuOEfshcpOeXROSXgt4DP6qvrrwsZoxLqTnU9K54$>. 
>> Searching for Unison documentation shows the site at the top.
>>
>> Overall pretty inconvenient to figure out how it works, should the 
>> documentation be moved from that site? How much effort would it take to do 
>> so?
>>
>

-- 
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].