Chad has submitted this change and it was merged. Change subject: Remove boardvote.gpg from ignore list. File doesn't exist ......................................................................
Remove boardvote.gpg from ignore list. File doesn't exist Change-Id: I7ef6c7c949eb2329abb15c38718b9e93dde4076a --- M .gitignore 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Chad: Verified; Looks good to me, approved diff --git a/.gitignore b/.gitignore index a13cb3f..486f586 100644 --- a/.gitignore +++ b/.gitignore @@ -14,7 +14,6 @@ wikiversions.php wikiversions-labs.php wmf-config/*-setup.php -boardvote.gpg ## Not in version control yet fonts -- To view, visit https://gerrit.wikimedia.org/r/321483 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7ef6c7c949eb2329abb15c38718b9e93dde4076a Gerrit-PatchSet: 2 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Chad <[email protected]> Gerrit-Reviewer: Chad <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
