Rename branch1 file

Don't know yet how to do a proper rename in GitHub for Windows