https://github.com/release-engineering/dist-git/commit/6502c87ebdf58661e8...
I agree that using "Fedora Package Source Repository"
instead of just "Fedora DistGit" is clearer (but also longer
so I, personally, like your Glossary suggestion the best).
I think it depends on who the audience is...