Email list hosting service & mailing list manager

Just pushed a new update to johnwcowan repo John Cowan (26 Aug 2019 13:35 UTC)
Re: Just pushed a new update to johnwcowan repo hga@xxxxxx (26 Aug 2019 13:54 UTC)
Re: Just pushed a new update to johnwcowan repo John Cowan (26 Aug 2019 16:20 UTC)
Re: Just pushed a new update to johnwcowan repo hga@xxxxxx (26 Aug 2019 17:18 UTC)
Re: Just pushed a new update to johnwcowan repo John Cowan (26 Aug 2019 18:05 UTC)
Re: Just pushed a new update to johnwcowan repo Lassi Kortela (26 Aug 2019 18:11 UTC)
Assorted remarks on file procedures Lassi Kortela (26 Aug 2019 15:17 UTC)
Re: Assorted remarks on file procedures hga@xxxxxx (26 Aug 2019 17:06 UTC)
Re: Assorted remarks on file procedures John Cowan (26 Aug 2019 20:36 UTC)
Real and effective uid/gid procedures in git master Lassi Kortela (26 Aug 2019 17:26 UTC)
Re: Real and effective uid/gid procedures in git master John Cowan (26 Aug 2019 18:06 UTC)
Re: Real and effective uid/gid procedures in git master hga@xxxxxx (26 Aug 2019 18:12 UTC)
Re: Real and effective uid/gid procedures in git master John Cowan (26 Aug 2019 18:22 UTC)
Re: Real and effective uid/gid procedures in git master hga@xxxxxx (26 Aug 2019 18:32 UTC)
Re: Real and effective uid/gid procedures in git master John Cowan (26 Aug 2019 18:40 UTC)
Re: Real and effective uid/gid procedures in git master Lassi Kortela (26 Aug 2019 18:45 UTC)

Real and effective uid/gid procedures in git master Lassi Kortela 26 Aug 2019 17:26 UTC

The draft still seems to have the old procedures:

- user-uid
- user-gid

instead of the new ones we discussed (and IIRC all agreed upon):

- (get-)user-real-uid
- (get-)user-real-gid
- (get-)user-effective-uid
- (get-)user-effective-gid

Were these lost in a sea of edits or is there a rationale for sticking
with the old ones after all?