Add files to hall repo