This would avoid dealing with merge conflicts when the PR changes, which is nice.