30 Aug
2013
30 Aug
'13
4:12 p.m.
Am Freitag, 30. August 2013, 09:06:11 schrieb Alex Balashov:
Surely this can be done with a read-only clone of the repository. I presented
that argument more to show that we don't save IMHO that much time if we move
only the git repository, and still need the rest of the infrastructure - as
this was before also discussed as a benefit of a move.
Best regards,
Henning Westerholt
We're
running indeed some custom services on sip-router.org, like the
generation of documentation from code, from docbook, from serctl/ sercmd
object files and other stuff. There is also a daily snap shot generation,
which we probably like to keep as github removed the possibility to
upload and download files some time ago [1]. This stuff still needs to be
run and maintained from us even after a move of the git repository.
To play Devil's Advocate against my own argument: none of that sounds
like stuff that can't be from an automatic clone of the repository
hosted on GitHub. Right?