Browse Source

Removed old git lib references

pull/24/head
Teknikode 8 years ago
parent
commit
929d712208
  1. 2
      includes/update_profile.php

2
includes/update_profile.php

@ -131,8 +131,6 @@ if(isset($_POST)) @@ -131,8 +131,6 @@ if(isset($_POST))
// Add the user's keys to his git account
if ($public_key != $user->public_key)
{
$Git = new Git();
$Git->windows_mode();
$repo = new PHPGit_Repository($CONF['git_repo_path'][0].'gitolite-admin\\', true, array('git_executable' => $CONF['git_path']));
$repo->git('pull origin master');

Loading…
Cancel
Save