[github] ignore closed pull requests