Some of the repositories at https://github.com/openstreetmap, I think
https://github.com/openstreetmap/josm is the most popular, are
mirrored from Git or SVN via scripts hosted here:
https://github.com/openstreetmap/openstreetmap-mirror
I set this up in 2010 and have been running it ever since.
On Mon, Nov 26, 2018, at 13:01, Ævar Arnfjörð Bjarmason wrote:
> Some of the repositories at https://github.com/openstreetmap, I think
> https://github.com/openstreetmap/josm is the most popular, are
> mirrored from Git or SVN via scripts hosted here:
>
Thank you Ævar.
And thank you for the push all the years back towards git.
I think turning off the mirroring is a good idea... Most of us already
push directly to the git repos.
Kind regards,
Grant
On Mon, 26 Nov 2018 at 12:20, Ævar Arnfjörð Bjarmason wrote:
>
> Some of the repositories at
On Mon, Nov 26, 2018, at 13:01, Ævar Arnfjörð Bjarmason wrote:
> Some of the repositories at https://github.com/openstreetmap, I think
> https://github.com/openstreetmap/josm is the most popular, are
> mirrored from Git or SVN via scripts hosted here:
>
4 matches
Mail list logo