GitHub PR Tab Group

keeps and or pull are tabs automatically sync requests: opens closes reviewed. user's in prs tab with groups review-requested merged, chrome open for the prs, and the github the when user's closed, them