pinks
/
eris
1
0
Fork 4
Code Issues 15 Pull Requests 1 Activity

fix: ignore other bots #22

Merged
pinks merged 1 commits from ignore-other-bots into main 2023-10-15 19:41:42 +00:00
Conversation 0 Commits 1 Files Changed 2 +10 -2

1 Commits

Author SHA1 Message Date
Vargoshi 979dad5169 ignore other bots 2023-10-15 21:35:35 +02:00