On 2015-07-24 00:41, Ian Jackson wrote:
> Andreas Beckmann writes ("Bug#793410: dgit: should set git config user.{name,
> email} to $DEB{FULLNAME, EMAIL} like debcheckout does"):
>> dgit should configure the cloned repository similarily to what
>> debcheckout does: the git config properties user.name and user.email
>> are set to $DEBEMAIL and $DEBFULLNAME (if these variables exist).
>
> Hrm. I'm sympathetic to the idea that friction should be reduced.
>
> But, wouldn't it be better for someone to set these things in
> ~/.gitconfig ?
~/.gitconfig sets them to a non-debian address already,
so for each new Debian related repo I already have to do
git config user.email $DEBEMAIL
unless tools like debcheckout do this for me :-)
> Maybe dgit should set them in the freshly cloned repo only if they're
> not set in .gitconfig ?
no, I like the debcheckout way :-)
Andreas
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
