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

Date Name Who What
2022-02-18 12:50:59 Detlef Groth DDG reference
2020-03-22 06:53:40 github::github DDG reference