FreeOrion

This is an announcement specifically for the dev team, to give you some warning about what will be going on soon/already is going on with the milestones assigned to our github issues and PRs:

I'm finally going ahead with the implementation of a change I proposed a year ago here.

To repeat the relevant part of the latest post I made in that thread just now: I'm going to revamp/extend our milestone/label setup to implement the proposed changes. As this might take me a while (meaning, I might not be able to finish it all in one day), please be aware that the milestones and labels assigned to the github issues/PRs might be inconsistent/confusing in the meantime.

The rework went more quickly than I expected, so I can happily report it's already done, and the milestone assignment of issues/PRs should be in a consistent state again.

I've posted the explanation for the changes here. Please head over there and read it, so you know how things are supposed to work from now on (regarding milestones).