GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.

Code Duplication    Length = 8-9 lines in 2 locations

system/libraries/Email.php 2 locations

@@ 1336-1344 (lines=9) @@
1333
				$hdr .= 'Content-Type: text/plain; charset='.$this->charset.$this->newline
1334
					.'Content-Transfer-Encoding: '.$this->_get_encoding();
1335
1336
				if ($this->_get_protocol() === 'mail')
1337
				{
1338
					$this->_header_str .= $hdr;
1339
					$this->_finalbody = $this->_body;
1340
				}
1341
				else
1342
				{
1343
					$this->_finalbody = $hdr.$this->newline.$this->newline.$this->_body;
1344
				}
1345
1346
				return;
1347
@@ 1372-1379 (lines=8) @@
1369
1370
				$this->_finalbody = $body.$this->_prep_quoted_printable($this->_body).$this->newline.$this->newline;
1371
1372
				if ($this->_get_protocol() === 'mail')
1373
				{
1374
					$this->_header_str .= $hdr;
1375
				}
1376
				else
1377
				{
1378
					$this->_finalbody = $hdr.$this->newline.$this->newline.$this->_finalbody;
1379
				}
1380
1381
				if ($this->send_multipart !== FALSE)
1382
				{