A Workshop on “Empowering Educators with Modern Tools: Git, GitHub and Generative AI