Attention Dev Team, IMPORTANT: github milestones/labels undergoing rework!

Official announcements and forum policies.
Post Reply
Message
Author
User avatar
Vezzra
Release Manager, Design
Posts: 5055
Joined: Wed Nov 16, 2011 12:56 pm
Location: Sol III

Attention Dev Team, IMPORTANT: github milestones/labels undergoing rework!

#1 Post by Vezzra » Sun Sep 22, 2019 10:29 am

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.

User avatar
Vezzra
Release Manager, Design
Posts: 5055
Joined: Wed Nov 16, 2011 12:56 pm
Location: Sol III

Re: Attention Dev Team, IMPORTANT: github milestones/labels undergoing rework!

#2 Post by Vezzra » Sun Sep 22, 2019 2:08 pm

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).

Post Reply