Replace some os.rename with shutil.move
Windows does not allow overwriting files with os.rename
. shutil.move
makes things safe.
Edited by Moritz Huebner
Maintenance will be performed on git.ligo.org, containers.ligo.org, and docs.ligo.org on Tuesday 22 April 2025 starting at approximately 9am PDT. It is expected to take around 30 minutes and there will be several periods of downtime throughout the maintenance. Please address any comments, concerns, or questions to the helpdesk. This maintenance will be upgrading the GitLab database in order to be ready for the migration.
Windows does not allow overwriting files with os.rename
. shutil.move
makes things safe.
Merge details
changed milestone to %0.6.10
added Bug label
added 1 commit
changed the description
changed milestone to %Future
approved this merge request
approved this merge request
changed milestone to %1.0.1
changed milestone to %1.0.0
merged
mentioned in commit 5f37ded2