GitHub iOS Merged Pull Request Details

Pull request details showing it has been merged into the 'dev' branch.