Unfortunately we missed the deadline of the 1st of May, but in the latest Agda dev meeting we discussed that we should still work towards a release of 2.7.0 relatively soon. The following issues are critical ones that should be resolved one way or another before the release:
Please let me know if there are any other issues that you believe belong on this list and I will add them.
For the other issues that are on the 2.7.0 milestone, we should evaluate whether anyone is available to resolve them on the short term (e.g. before the end of May), and otherwise bump them to a different milestone:
2.8.0 for issues that have both a person assigned to them and a concrete plan
later for issues that have someone assigned to them but no concrete plan yet
icebox for all other issues.
@plt-amy @UlfNorell @andreasabel @nad @gallais @arthur-adjedj @L-TChen @phikal @asr @jul1u5: You all have at least one assigned issue with the 2.7.0 milestone. Please take a look at the issue(s) and decide which of the options above apply to them.
For all the unassigned issues, I would like to ask everyone to contribute a little too to triage them. Thank you all for the commitment to make Agda the best it can be!
Unfortunately we missed the deadline of the 1st of May, but in the latest Agda dev meeting we discussed that we should still work towards a release of 2.7.0 relatively soon. The following issues are critical ones that should be resolved one way or another before the release:
Issues with the false label:
Issues with the internal-error label:
Other issues that should really be fixed before the release:
Please let me know if there are any other issues that you believe belong on this list and I will add them.
For the other issues that are on the 2.7.0 milestone, we should evaluate whether anyone is available to resolve them on the short term (e.g. before the end of May), and otherwise bump them to a different milestone:
laterfor issues that have someone assigned to them but no concrete plan yeticeboxfor all other issues.@plt-amy @UlfNorell @andreasabel @nad @gallais @arthur-adjedj @L-TChen @phikal @asr @jul1u5: You all have at least one assigned issue with the 2.7.0 milestone. Please take a look at the issue(s) and decide which of the options above apply to them.
For all the unassigned issues, I would like to ask everyone to contribute a little too to triage them. Thank you all for the commitment to make Agda the best it can be!