Alexandros Kosiaris has submitted this change and it was merged. Change subject: puppetmaster: Have private repo git config user.name ......................................................................
puppetmaster: Have private repo git config user.name Just to ensure we got a value so that no issues show up suddenly Change-Id: Id3cf37733b337babc7989b7307ead94017c571ca --- M modules/puppetmaster/files/git/private/gitconfig-master 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Alexandros Kosiaris: Verified; Looks good to me, approved diff --git a/modules/puppetmaster/files/git/private/gitconfig-master b/modules/puppetmaster/files/git/private/gitconfig-master index ae0c373..6626057 100644 --- a/modules/puppetmaster/files/git/private/gitconfig-master +++ b/modules/puppetmaster/files/git/private/gitconfig-master @@ -6,4 +6,5 @@ [receive] denyCurrentBranch = ignore [user] + name = "gitpuppet for private repo" email = git@palladium.eqiad.wmnet -- To view, visit https://gerrit.wikimedia.org/r/310503 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id3cf37733b337babc7989b7307ead94017c571ca Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Alexandros Kosiaris <akosia...@wikimedia.org> Gerrit-Reviewer: Alexandros Kosiaris <akosia...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits