|
|
|
---
|
|
|
|
title: Developer guide
|
|
|
|
---
|
|
|
|
# IMPORTANT
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
# Joining the developers of PASE
|
|
|
|
All contributions are welcome. To start coding :
|
| ... | ... | |
