GitHub pull requests and issues filtering is broken | Dark Hacker News