chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8737c73) | patch
dgit: Copy several user.* settings from main tree git local config
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 5 Feb 2017 13:15:52 +0000 (13:15 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 5 Feb 2017 13:15:53 +0000 (13:15 +0000)
commitbf33c7e32c0f107b83bfdf7d4043f931d9865c7e
treea59910767fbda42fd7c48a360f0a5e0bd4fa41b0tree | snapshot
parent8737c73f0df36d42eef727e7d971905ea9739dcccommit | diff
dgit: Copy several user.* settings from main tree git local config

Copy to dgit private workarea.  Closes:#853085.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
debian/changelog diff | blob | history
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.