Synchronizing the projects between local and GitHub. Seems not all files
got uploaded in the first attempt.