openfun / richie

:pencil: An opensource CMS to build education portals
https://richie.education
MIT License
260 stars 84 forks source link

🧑‍💻(frontend) ignore dev user selection #2248

Closed rlecellier closed 7 months ago

rlecellier commented 7 months ago

We've to change dev user during development and it's common to forget about it on commit. To avoid redundant task of switching dev user on each new branch, we moved this choice in an ignored file settings.dev.ts