3,897
edits
Changes
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..."
= 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.
: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 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.
: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)
