Browse Source

Enable git public key addition for development

pull/24/head
Teknikode 8 years ago
parent
commit
f4c5a495b1
  1. 4
      includes/update_profile.php

4
includes/update_profile.php

@ -127,7 +127,7 @@ if(isset($_POST)) @@ -127,7 +127,7 @@ if(isset($_POST))
{
$user->hashedPassword = hashPassword($password, $CONF); //encrypt the password for storage
}
/*
// Add the user's keys to his git account
if ($public_key != $user->public_key)
{
@ -173,7 +173,7 @@ if(isset($_POST)) @@ -173,7 +173,7 @@ if(isset($_POST))
$repo->commit('Modified keys for '.$user->username);
$repo->push('origin', 'master');
}
*/
/*
if ($minecraft != $user->minecraft_user)
{

Loading…
Cancel
Save