From Wiki
Revision as of 05:13, 12 August 2020 by Adityam (talk | contribs) (Is there still a git server at the garden?)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Git Mirrors

I really think the section “Development/Source Code” should point to the canonical git mirror first:

For extra redundancy I also maintain an independent mirror on bitbucket: It is updated hourly and not based on Marius’s old Perl script in any way so if either mirror fails due to a bug, the other is likely to continue. (It also pulls the code from the Garden mirror every day into a separate branch for convenience.) Since the mirror bot has been running on my server for over a month now I made the repo public.

I am not sure if this remark is still relevant, but just in case I have moved it here (was in Main Page/Talk) Taco (talk) 15:00, 9 August 2020 (CEST)
Is there still a git server running at contextgarden? The "canonical" link above does not work. --Aditya (talk) 07:11, 12 August 2020 (CEST)