This covers just the "main" target but proves that everything could work in the case of an orderly departure from github.
