(refs #378)Closed but not merged pull requests should be re-openable