If you have a local clone of the repository that **predates Feb. 19th, 2025, you must absolutely make a new clone**.
A maintenance operation occurred on that day, after which conflicts may appear between the remote and older clones.
The procedure depends on if you have local unpushed changes.
- if you have no unpushed changes : simply delete your local pase/ directory and clone a new one
- if you have unpushed changes : rename the repository (e.g. pase/ becomes pase-old/), and place your new clone besides the old one ; afterwards, manually transfer the changes from pase-old/ to the new clone.
