Add setting to ignore PRs whose branches are from the main repo; closes #2