Merge remote-tracking branch 'github/master'

fernuni_bot.py

@@ -24,7 +24,9 @@ HELP_FILE = os.getenv('DISCORD_HELP_FILE')
 CATEGORY_LERNGRUPPEN = os.getenv("DISCORD_CATEGORY_LERNGRUPPEN")
 PIN_EMOJI = "📌"
 
-bot = commands.Bot(command_prefix='!', help_command=None, activity=discord.Game(ACTIVITY), owner_id=OWNER)
+intents = discord.Intents.default()
+intents.members = True
+bot = commands.Bot(command_prefix='!', help_command=None, activity=discord.Game(ACTIVITY), owner_id=OWNER, intents=intents)
 poll_cog = PollCog(bot)
 appointments_cog = AppointmentsCog(bot)
 text_commands_cog = TextCommandsCog(bot)

requirements.txt

-aiohttp==3.6.2
+aiohttp==3.6.3
 async-timeout==3.0.1
-attrs==19.3.0
+attrs==20.2.0
 chardet==3.0.4
 discord==1.0.1
-discord.py==1.3.4
-idna==2.9
-multidict==4.7.5
-python-dotenv==0.12.0
+discord.py==1.5.0
+idna==2.10
+multidict==5.0.0
+python-dotenv==0.14.0
 websockets==8.1
-yarl==1.4.2
+yarl==1.6.2