How long stay PRs open?