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?