jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/436085 )

Change subject: [bugfix] generate_user_files: set main_family & main_code ......................................................................

[bugfix] generate_user_files: set main_family & main_code

main_family & main_code have not been changed after initializing their default value, even if the user has chosen other values.

Bug: T195602 Change-Id: I36a5764e1fe49c7eccbcfd18f5c71368c8eeb342 --- M generate_user_files.py 1 file changed, 2 insertions(+), 0 deletions(-)

Approvals: Dvorapa: Looks good to me, but someone else must approve Zhuyifei1999: Looks good to me, approved jenkins-bot: Verified

diff --git a/generate_user_files.py b/generate_user_files.py index d22a58f..79da3a7 100755 --- a/generate_user_files.py +++ b/generate_user_files.py @@ -294,6 +294,8 @@ usernames = '\n'.join( "usernames['{user.family}']['{user.code}'] = u'{user.name}'" .format(user=user) for user in userlist) + # Arbitrarily use the first key as default settings + main_family, main_code = userlist[0].family, userlist[0].code botpasswords = '\n'.join( "('{0}', BotPassword('{1}', '{2}'))".format(*botpassword) for botpassword in botpasswords)