Pull requests

The list of registered pull request is shown on the Pull requests page.

By default, only the "Open" pull requests are shown. To show "Closed" or "Merged" pull requests, filter by changing the "Status".

Enter some words in the "Keyword" window to filter by keywords.