Merge pull request #38 from google/update_from_repo_move

update repo contents after move