In the Afterglow repository, there are quite a few open issues and PRs.
We should make sure that we incorporate the relevant ones in our repository.
For convenience, I have made a TODO list here with the data from the GitHub API.
Checked items do not need further action (i.e. are migrated already, are not relevant here, ...). For most I have provided a reason.
Already migrated
Issues/PRs that already have their own issue report here.
In the Afterglow repository, there are quite a few open issues and PRs. We should make sure that we incorporate the relevant ones in our repository.
For convenience, I have made a TODO list here with the data from the GitHub API. Checked items do not need further action (i.e. are migrated already, are not relevant here, ...). For most I have provided a reason.
Already migrated
Issues/PRs that already have their own issue report here.
Pull Requests
Issue Reports
Note: feel free to edit/update this post when necessary!