Push files [5/5] manually through github.