Filippo Giunchedi has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/370964 )

Change subject: admin: set devscripts variables for filippo
......................................................................


admin: set devscripts variables for filippo

Change-Id: I57c386a6d41b559d54072115615e1bbe11c084db
---
M modules/admin/files/home/filippo/.bashrc
1 file changed, 4 insertions(+), 0 deletions(-)

Approvals:
  jenkins-bot: Verified
  Filippo Giunchedi: Looks good to me, approved



diff --git a/modules/admin/files/home/filippo/.bashrc 
b/modules/admin/files/home/filippo/.bashrc
index 1665d21..e2b175a 100644
--- a/modules/admin/files/home/filippo/.bashrc
+++ b/modules/admin/files/home/filippo/.bashrc
@@ -10,6 +10,10 @@
 HISTTIMEFORMAT="%FT%TZ "
 shopt -s histappend
 
+# devscripts
+export DEBEMAIL=fili...@wikimedia.org
+export DEBFULLNAME="Filippo Giunchedi"
+
 # make less more friendly for non-text input files, see lesspipe(1)
 [ -x /usr/bin/lesspipe ] && eval "$(SHELL=/bin/sh lesspipe)"
 

-- 
To view, visit https://gerrit.wikimedia.org/r/370964
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I57c386a6d41b559d54072115615e1bbe11c084db
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi <fgiunch...@wikimedia.org>
Gerrit-Reviewer: Filippo Giunchedi <fgiunch...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to