mv: cannot move ‘./build/dist/windows_386.zip’ to ‘./build/dist/tendermint_0.8.0_windows_386.zip’: Permission denied
I think because of the use of docker the build/dist folder ends up owned by root and the renames fail. Is there a better way to do this?