gh-cli-for-education Goto Github PK

.github

adastra

astro-example

awesome-gh-cli-extensions

Awesome list of github cli extensions.

claro

A GitHub Classroom CLI for teachers

cli

GitHub’s official command line tool

detector-de-copias

Programa para detectar copias en ejercicios de programación

dummy-repo

dummy repo to test gh-edu-profile

gh-accepted

gh extension to list the students that have accepted a GH Classroom assignment

gh-activity

A Python script forked from bloombar/git-developer-contribution-analysis to report statistics on the contributions of each developer over a particular timeframe.

gh-ai

gh extension that provides help in the creation of other gh extensions using AI and prompt-engineering

gh-alias-for-teachers

gh cli alias for education

gh-assignments

List the assignments for a github classroom organization

gh-classroom

GitHub Classroom CLI Extension is a powerful and easy-to-use command line tool that enhances the functionality of the GitHub CLI, specifically tailored for educators using GitHub Classroom.

gh-classroom-open

Open in the browser the classrooms whose name matches the specified regexp

gh-cli-language-proposal

Design and implement a language (a DSL) built on top of GitHub cli (gh) to easy the interaction with github

gh-edu

A pluggable extension of gh-cli to assist educators and students using GitHub Education

gh-edu-data

gh-edu-data is a plugin to get more data about your students

gh-edu-plagiarism

Detect plagiarism on programing assignments

gh-edu-view

gh-education

Draft repo for a LMS static generator using vitepress

gh-education-tpl

gh-find-file

gh cli extension to find a file in all branches

gh-marking-scripts

Helper scripts to make marking and adding feedback a little easier

gh-org-browse-repo

gh extension to browse multiple repos inside an org

gh-org-clone

A github-cli extension script to clone all repositories in an organization, optionally filtering by topic or a search string. If the repository has already been cloned it will attempt to switch to the default branch and pull.

gh-org-commits

gh-org-commits

gh-org-members

gh cli extension to obtain info about the members of a GitHub Organization

gh-org-teams

Get info about the teams of a GitHub classroom organization

gh-org-teams-names

gh-org-teams-names