References to, includes from, and redirects to dgtools::repo

Date	Name	Who	What
2026-01-07 07:47:48	Detlef Groth	DDG	reference
2020-03-22 06:53:40	github::github	DDG	reference