Product: integration with Github (or other git hosting service)

[jmchamica]

Context

In a given Class, a number of git repositories may be created to share source code. In example, for Student assignments or Class material.

Suggesting the automation of repetitive tasks, by synchronizing behavior of ion with a git hosting service. The effort may be split between different ion components.

Possible git hosting services

• Github
• Gitlab
• self-host
• any other

Self-hosting may significantly increase size and complexity of ion (i.e. maintenance of the repositories; access control). Handling that load over to an external service is, in my opinion, the better option.

Possible tasks

• repository management
• tags and deadline checking

An example

• a Professor creates a number of Groups in a given Class
• for each Group, a private Github repository is created
• a Student joins a Group
• if the Student provides their Github username (or if it already exists in their profile), an invitation to join the corresponding repository will be sent to the Student's Github account