Learn more about these different git repos.
Other Git URLs
0491d03
This is the fix for Bugzilla Bug 214524: group_tool dump can give short output.