We are currently writing the new new version of Papyrus, called Coster and what we need is some tiny little addition to our new download script.
The script uses the GitHub API, to download the
/docs folder which we configure in a config file.
All of this works great, what is missing in the script if to set or rename the name of the directory, meaning for the moment we can say, "download dir y into dir x" with that we do end up with "x/y" what we need is "download dir x and rename it into y" so that we end up with "just y".
Sure we can do that later, but it would be neat to be able to do that in one run