Github Commits Tracker #146
Labels
automation
Involves automating workflows
enhancement
New feature or request
integrations
Involves integrations with third-parties like Discord/GitHub
users
Involves the users system
GitHub Commits Tracker
Overview
Currently every user can register a github account to there profile. We also manage project data and which users are on each project. If we where to collect project github link(s) and assuming the members of the project on portal are also members of the project on github, we can aggregate commits for each user based on the projects they are on. This can be a great advantage for users as they can download there commits from portal. This can also have an impact when it comes to grading as it gives a live view at a students commits and this can be reference at mid/end of semester.
Project Extensions
GitHub to RCOS IO
To retrieve user commits, we can periodically query github for commits for each project. We can then store this snapshot of the commits in portal as to avoid multiple API requests to github (not sure of a limit). We can then match the commits to the users.
The text was updated successfully, but these errors were encountered: