djmil 1054f3fd6b devcontainer: reuse host git identity ... so git never prompts for user.name / user.email		2026-06-03 11:39:07 +00:00
..
devcontainer-lock.json	slides	2026-05-04 19:15:11 +00:00
devcontainer.json	devcontainer: reuse host git identity	2026-06-03 11:39:07 +00:00