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

Date Name Who What
2023-08-28 16:35:20 Detlef Groth DDG reference
2020-03-22 07:42:32 dgtools::repo DDG reference