initial commit for github; copied from local repository