Distinguish Github PRs from stories