def add_hr(member: discord.User):
"""Add a user to the active HR rep list. Fails silently."""
reps = load_json_var('hr_reps')
if str(member.id) in reps:
return
reps.append(str(member.id))
write_json_var('hr_reps', reps)
def del_hr(member: discord.User):
"""Remove a user from the active HR rep list. Fails silently."""
reps = load_json_var('hr_reps')
if str(member.id) not in reps:
return
reps.remove(str(member.id))
write_json_var('hr_reps', reps)
def hr_reps(guild):
"""Load up the HR reps"""
reps = load_json_var('hr_reps')
result = []
for rep in reps:
result += [guild.get_member(int(rep))]
return result