tools/changelog-helper: Ignore non-MERGED PRs & ignore already listed PRs faster#2485

Merged

hoffie merged 3 commits intojamulussoftware:masterfrom

hoffie:changelog-helper-MERGED-only

Mar 12, 2022

Commits on Mar 11, 2022

Commits on Mar 12, 2022

tools/changelog-helper: Make check for existing PRs more robust

hoffie
and
pljones
committed