Update github-manager.php