@Leandro Borges Ferreira The recent problems were related to
https://github.com/arrow-kt/arrow/pull/1040 making tons of folder changes and relocation of instances so things started pilling up. The bot looks good though. If you want to give it a shot at integrating it we can take it from there and see how it works with our current flow.