mirror of
https://gitea.com/gitea/tea.git
synced 2026-10-26 19:11:25 +01:00
issue list --kind all, milestone issue list and search pr reported a merged pull request as closed. Their state is now merged, in tables and in JSON, which also tells issues and pull requests apart by kind. Signed-off-by: bircni <bircni@icloud.com>