[Savannah-cvs] [417] effectively revert the latest change

[ineiev]

Revision: 417
          
http://svn.savannah.gnu.org/viewvc/?view=rev&root=administration&revision=417
Author:   ineiev
Date:     2020-05-31 12:16:24 -0400 (Sun, 31 May 2020)
Log Message:
-----------
effectively revert the latest change

Modified Paths:
--------------
    trunk/sviki/RenamingAccounts.mdwn

Modified: trunk/sviki/RenamingAccounts.mdwn
===================================================================
--- trunk/sviki/RenamingAccounts.mdwn   2020-05-21 11:42:24 UTC (rev 416)
+++ trunk/sviki/RenamingAccounts.mdwn   2020-05-31 16:16:24 UTC (rev 417)
@@ -1,3 +1,10 @@
+*Use the User Info page in Savannah superuser's web interface*
+(/siteadmin/usergroup.php?user\_id=_user-id_); you can visit
+the page for the right user via
+
+* Links in the user list, /siteadmin/userlist.php.
+* The "Edit User" link in /users/user-name.
+
 Discussion
 ----------
 
@@ -7,8 +14,6 @@
 Savane to say "this user Y was called X previously between 2005-01-01
 and 2006-02-03"]
 
-Use the link to edit user in /siteadmin/userlist.php.
-
 We could also change the projects CVS files to change the user name
 associated with each change. Is there a cvs command to do that and is it
 pertinent?
@@ -24,31 +29,9 @@
 previously accounts could always have been removed and recreated under
 different names creating the same effect. --rwp, 2020-05-01
 
-The previously referenced rename_user.sh script has bit rot to the
-point that it is no longer applicable.  Additionally it appears to be
-buggy with regards to some of the actions.  Do not attempt to use it
-directly.
+The previously scripts have bit rot to the point that they are
+no longer applicable.  Don't use them if you find them.
 
-Having dug into things more deeply I have deduced this following
-recipe for renaming accounts.
-
-Verify that the new user name is not in use and available.
-
-    mysql> select * from user where user_name = 'newuser';
-    Empty set (0.01 sec)
-
-Rename the user name in the user table.
-
-    mysql> UPDATE user SET user_name='newname' WHERE user_name='oldname';
-    Query OK, 1 row affected (0.00 sec)
-    Rows matched: 1  Changed: 1  Warnings: 0
-
-Rename the user name in the group_history table.
-
-    mysql> UPDATE group_history SET old_value='newname' WHERE 
old_value='oldname';
-    Query OK, 19 rows affected (0.37 sec)
-    Rows matched: 19  Changed: 19  Warnings: 0
-
-Verify the URL to the name newuser.
-
-    https://savannah.gnu.org/users/newuser
+Also, the procedure isn't trivial, so please don't run updates
+in the database manually.  *Use the Edit user page in Savannah
+superuser's web interface*.