Difference between revisions of "Talk:Development"
Jump to navigation
Jump to search
(Created page with "= Git Mirrors = I really think the section “Development/Source Code” should point to the canonical git mirror first: http://git.contextgarden.net/public/projects. For ex...") |
m (Is there still a git server at the garden?) |
||
| Line 13: | Line 13: | ||
:I am not sure if this remark is still relevant, but just in case I have moved it here (was in Main Page/Talk) [[User:Taco|Taco]] ([[User talk:Taco|talk]]) 15:00, 9 August 2020 (CEST) | :I am not sure if this remark is still relevant, but just in case I have moved it here (was in Main Page/Talk) [[User:Taco|Taco]] ([[User 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. --[[User:Adityam|Aditya]] ([[User talk:Adityam|talk]]) 07:11, 12 August 2020 (CEST) | ||
Latest revision as of 05:13, 12 August 2020
Git Mirrors
I really think the section “Development/Source Code” should point to the canonical git mirror first: http://git.contextgarden.net/public/projects.
For extra redundancy I also maintain an independent mirror on bitbucket: https://bitbucket.org/phg/context-mirror/. 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.
