this needs to happen once updates are being pushed into the updates directory, and then again once we have the final release directory. Bonus points in that we can leave the development/13 directory in place until release day, so no more disappearing "fedora" repo.

this needs to happen once updates are being pushed into the updates directory, and then again once we have the final release directory. Bonus points in that we can leave the development/13 directory in place until release day, so no more disappearing "fedora" repo.

This happened.

This happened.