Currently we merge most of our pull requests manually. This is to avoid merge commit creation where possible, and also to give a chance for our developers to apply any fixes which they need to make locally.

Once a pull request has been merged in this way, the only way to close it is to mark it as "declined". In this situation however, declined is not indicative of what actually happened to the pull request (it was merged manually).

I suggest that either "declined" is changed to "closed", or a new pull request status is added.