Push files [3/5] manually through github.