Author: zack
Date: 2009-11-08 09:19:54 +0000 (Sun, 08 Nov 2009)
New Revision: 2019
Modified:
trunk/scripts/debcheckout.pl
Log:
after Git clone, set user.{name,email} from $DEB{EMAIL,FULLNAME}
also bump copyright year
thanks to Charles Plessy for the idea
Closes: #555025
Modified: trunk/scripts/debcheckout.pl
===================================================================
--- trunk/scripts/debcheckout.pl 2009-10-30 22:13:28 UTC (rev 2018)
+++ trunk/scripts/debcheckout.pl 2009-11-08 09:19:54 UTC (rev 2019)
@@ -1,7 +1,7 @@
#!/usr/bin/perl -w
#
# debcheckout: checkout the development repository of a Debian package
-# Copyright (C) 2007-2008 Stefano Zacchiroli <[email protected]>
+# Copyright (C) 2007-2009 Stefano Zacchiroli <[email protected]>
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
@@ -914,6 +914,10 @@
$rc = $? >> 8;
print STDERR "TopGit population failed\n" if $rc != 0;
}
+ system("cd $wcdir && git config user.name \"$ENV{'DEBFULLNAME'}\"")
+ if (defined($ENV{'DEBFULLNAME'}));
+ system("cd $wcdir && git config user.email \"$ENV{'DEBEMAIL'}\"")
+ if (defined($ENV{'DEBEMAIL'}));
if (length $git_track) {
my @heads;
if ($git_track eq '*') {
--
To unsubscribe, send mail to [email protected].
