Add missing commits when migrating from github.com