Formulation of the Github process