Guild icon
Teeworlds
discord.gg/teeworlds / development
For discussions around the development of the official Teeworlds
Between 2022-06-26 00:00:00Z and 2022-06-27 00:00:00Z
Avatar
heinrich5991 2022-06-26 01:46:45Z
woops, wrong repository 😮 @Stiopa
01:47
that command tells the ddnet github bot to try to merge the PR, and if it still passes all tests, put it into master
Avatar
Avatar
heinrich5991
that command tells the ddnet github bot to try to merge the PR, and if it still passes all tests, put it into master
Stiopa 2022-06-26 09:48:12Z
yeah, exactly
09:48
hence my surprise :D
Avatar
Stiopa 2022-06-26 10:38:43Z
unless that is a deliberate plan to take over the teeworlds git ;)
Avatar
heinrich5991 2022-06-26 10:40:12Z
no
10:40
oy didn't want me as a maintainer at some point in the past
Exported 7 message(s)