Ditching GitHub

Introduction