Copy from private repository to GitHub
Update github specific errata