educ-bot/.gitignore