chiark / gitweb /
dgit: Copy several user.* settings from main tree git local config