References to, includes from, and redirects to github::github

Date	Name	Who	What
2024-12-30 09:31:25	Detlef Groth	DDG	reference
2020-03-22 07:42:32	dgtools::repo	DDG	reference