Mairieli Wessel, Andy Zaidman, Marco Aurélio Gerosa, Igor Steinmacher: Guidelines for Developing Bots for GitHub. IEEE Softw. 40(3): 72-79 (2023)