[Savannah-help-public] mcasadevall user?

[Jim Meyering]

I noticed what looks like a regular user (mcasadevall) in /etc/passwd.
Is this deliberate?  ISTR it's against policy.

Also, I scp'd files to address@hidden:
and see them show up with this same ownership:

  address@hidden ls -l /var/tmp/c2g-mirror/
  total 16
  drwxr-xr-x 2 nobody      nogroup     4096 Aug 10 06:22 .map/
  -rw-r--r-- 1 mcasadevall mcasadevall 7895 May  5 09:03 emacs
  -rw-r--r-- 1 mcasadevall mcasadevall 1019 Jul 25 17:46 gnulib

I would have expected them to be owned by root.
Anyone know why?  Should we worry, or do something differently?

  $ ssh -l root sv.gnu.org id -a
  uid=0(root) gid=0(root) groups=0(root)