This is just a general test of the milestone feature.

This milestone keeps track of PR's that we test merged in July.
Milestone may either be kept for records or be deleted when all the PR's are either closed or merged.