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