Move files from Lint namespace to Github