From 853107027b64d260225b678cde45124b0ac0c544 Mon Sep 17 00:00:00 2001
From: corpsee <poisoncorpsee@gmail.com>
Date: Sun, 24 May 2015 14:20:51 +0600
Subject: [PATCH] Fixed GithubBuild::getDiffLineNumber method for correct
 phpcpd work

---
 PHPCI/Model/Build/GithubBuild.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/PHPCI/Model/Build/GithubBuild.php b/PHPCI/Model/Build/GithubBuild.php
index d6b2b7b9..81510ae0 100644
--- a/PHPCI/Model/Build/GithubBuild.php
+++ b/PHPCI/Model/Build/GithubBuild.php
@@ -201,6 +201,8 @@ class GithubBuild extends RemoteGitBuild
      */
     protected function getDiffLineNumber(Builder $builder, $file, $line)
     {
+        $line = (integer)$line;
+
         $builder->logExecOutput(false);
 
         $prNumber = $this->getExtra('pull_request_number');