1. gitea_workspace.html: owner/repo en Jinja2 dans la topbar (pas Alpine) 2. gitea.py: save_file/delete_file → _require_gitea (admin token can write) 3. settings.html: retrait doublon defaultView, fix workspace_name Jinja2
1. gitea_workspace.html: owner/repo en Jinja2 dans la topbar (pas Alpine) 2. gitea.py: save_file/delete_file → _require_gitea (admin token can write) 3. settings.html: retrait doublon defaultView, fix workspace_name Jinja2