Github is a very widely-used software repository based on the collaborative
development and version control system called git.

A simple Google (or other search engine if you prefer) search will reveal lots
of information if you want to know more.

Regards,


Antony.

--
Most people are aware that the Universe is big.

- Paul Davies, Professor of Theoretical Physics

Please reply to the list;
please *don't* CC me.