https://bugzilla.wikimedia.org/show_bug.cgi?id=65145
--- Comment #1 from Gerrit Notification Bot gerritadmin@wikimedia.org --- Change 132713 had a related patch set uploaded by Merlijn van Deen: Bug 65145: do not run generate_user_files if stdout is a pipe
https://gerrit.wikimedia.org/r/132713