Attention Dev Team, IMPORTANT: github milestones/labels undergoing rework!
Posted: 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.
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.