Learn more about these different git repos.
Other Git URLs
af7c545
Fix when milestones_keys and milestones get out of sync Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>