Skip to content

remove bot configuration (main)#357

Merged
bedroge merged 1 commit intoEESSI:mainfrom
boegel:main_bot_cfg_cleanup
Oct 5, 2023
Merged

remove bot configuration (main)#357
bedroge merged 1 commit intoEESSI:mainfrom
boegel:main_bot_cfg_cleanup

Commits

Commits on Oct 5, 2023