Github cli extensions for the github education community. Herramientas para la automatización de los flujos de trabajo del docente que usa github

Abstract

Es un hecho consolidado el uso de GitHub como plataforma para la enseñanza, especialmente en el ámbito de la Informática. La propia empresa apoya estas iniciativas dentro de un grupo de acciones que se engloban bajo el término GitHub Education y que incluye no solo descuentos, foros, congresos, becas, etc. sino también herramientas específicas para la educación como GitHub Classroom, la cual da soporte al proceso de asignación de tareas. Recientemente, GitHub ha introducido una herramienta orientada a desarrolladores denominada GitHub CLI que permite utilizar los servicios web de GitHub desde la línea de comandos y que provee una arquitectura denominada gh-extensions que posibilita que terceros puedan añadir nuevas funcionalidades a GitHub CLI. Este trabajo presenta una gh-extension denominada gh-edu que pretende ser la base para un ecosistema de extensiones que facilita el flujo de trabajo diario de profesores y alumnos en tareas como: la creación y manejo de organizaciones asociadas a asignaturas, la creación y manejo de asignaciones de tareas, ayudar en el descubrimiento de casos de plagio, obtener información sobre la actividad de los alumnos, facilitar la respuesta pronta a las dudas, facilitar la elaboración la retroalimentación al alumno y mejorar la eficiencia en los procesos de evaluación. Es nuestra esperanza que esta herramienta sea de utilidad para los docentes que utilizan GitHub y que en el futuro aparezcan contribuciones de la comunidad con extensiones que cubran nuevos aspectos de la labor docente.

The use of GitHub as a platform for teaching is a consolidated fact, especially in the field of computing. The company itself supports these initiatives within a group of actions that are included under the term GitHub Education and that includes not only discounts, forums, congresses, scholarships, etc. but also specific tools for education such as GitHub Classroom, which supports the task assignment process. GitHub has recently introduced a developer-oriented tool called GitHub CLI. that allows you to use GitHub web services from the command line and that provides an architecture called gh-extensions that enables third parties to add new functionality to GitHub CLI. This work presents a gh-extension named gh-edu that aims to be the basis for an ecosystem of extensions that facilitates the daily workflow of teachers and students in tasks such as: the creation and management of organizations associated with subjects, creating and managing task assignments, help in the discovery of cases of plagiarism, obtain information about student activity, facilitate prompt response to queries, facilitate the elaboration of feedback to the student and improve efficiency in evaluation processes. It is our hope that this tool will be useful to educators who use GitHub and that community contributions will appear in the future with extensions covering new aspects of teaching.