Change Details

This is a placeholder which I will update later today with specifics.

Some ambiguity remains around the following: --- **main** branches on https://gitlab.wikimedia.org/repos/releng/ddd/-/commits/main and https://github.com/20after4/ddd/commits/main are different Unsure which bits from which are "latest" Their last common commit is **54eb5781** --- Commands to start over completely fresh populating **metrics.db** --- Commands for ensuring new projects/tickets data appear in **metrics.db** in a timely manner --- How often to run specific commands above to keep **metrics.db** in sync with Phabricator data ---