Browse Source

Commented out Gitolite key addition for production branch

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

2
includes/update_profile.php

@ -129,6 +129,7 @@ if(isset($_POST)) @@ -129,6 +129,7 @@ if(isset($_POST))
}
// Add the user's keys to his git account
/*
if ($public_key != $user->public_key)
{
$Git = new Git();
@ -166,6 +167,7 @@ if(isset($_POST)) @@ -166,6 +167,7 @@ if(isset($_POST))
$repo->commit('Modified keys for '.$user->username);
$repo->push('origin', 'master');
}
*/
/*
if ($minecraft != $user->minecraft_user)
{

Loading…
Cancel
Save