home contents changes options help subscribe edit

[We need to define a policy about whether it is OK to rename accounts. Since accounts can be removed and then recreated under a different user name, I guess it is OK. Something like a redirection, or a way for Savane to say "this user Y was called X previously between 2005-01-01 and 2006-02-03"]

Check infra/maintenance/rename_user.sh

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?




subject:
  ( 13 subscribers )