A patch for the Github centralization dilemma – @xuv writes

/a-patch-for-the-github-centralization-d