search

gurkult / gurkbot

Our community bot, used for running the server.
MIT License
18 stars 16 forks source link

merge develop into main #62

Closed vivax3794 closed 3 years ago

vivax3794 commented 3 years ago

following issue #61 the develop branch is being removed, and we are merging it into main.

vivax3794 commented 3 years ago

all changes here have already been approved in their respective prs

gustavwilliam commented 3 years ago

Since we assume that the reviews done are valid and that there's no need for this branch, I'm merging this without new reviews.