Update pull request workflow

Since repository next, the process for creating pull requests has changed
a little bit