Exclude summarily closed PRs from "new PRs" list#18

dbutenhof merged 1 commit into

maindbutenhof/github_pm:mainfrom

closeddbutenhof/github_pm:closedCopy head branch name to clipboard