Learn more about these different git repos.
Other Git URLs
f676327
Update milestone description in Settings The milestones are no longer based on tags, so the description should be updated to correctly describe how they work.