Correct capitalization of GitHub in updater.php