Retire removed users declaratively and manage global gitignore #6
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "feat/gitignore-disappearance-413521"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Why
Manual
git config --globaledits on foundry live at most one hour: theusersrole re-renders~/.gitconfigon every pull-timer converge. A hand-madecore.excludesFilesetting kept vanishing. Separately, thejosh-nbmaccount is no longer wanted, and the roles only ever create things — dropping a name fromfoundry_userswould orphan the account, its home, and its code-server instance forever.What
Global gitignore, managed: each user in
foundry_usersnow gets an Ansible-rendered~/.gitignore(patterns fromusers_git_global_ignores, default.claude) wired viacore.excludesfilein the managed.gitconfig.Declarative account retirement: accounts listed in
foundry_removed_users(private vars) are retired on converge:code-server@<user>and remove its systemd overrides/var/lib/foundry/removed-users/<user>-home.tar.gz(tolerating tar's warning-level exit 1)pkillby numeric UID — Tailscale SSH ignores account expiry, so remote editors can re-admit processes right up until the account row is deletedAn assert fails the play if a name appears in both
foundry_usersandfoundry_removed_users, so a stale user list on another controller can't silently recreate a retired account.Applied
Already converged on foundry from this branch:
josh-nbmis removed (home archived, 1.1 GB), andjosh/josh-pchave the managed gitignore./etc/foundry/private.ymlwas updated in place;group_vars/all/99-private.ymlon the Mac still needs the same edit (movejosh-nbmfromfoundry_userstofoundry_removed_users, drop its email).Pull request closed