Skip to content

chore(rollup): consolidation de 5 Pull Requests dans main - #145

Merged
DZTic merged 10 commits into
mainfrom
rollup/all-prs
Aug 16, 2026
Merged

chore(rollup): consolidation de 5 Pull Requests dans main#145
DZTic merged 10 commits into
mainfrom
rollup/all-prs

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

🚀 Pull Request Consolidée (5 PRs fusionnées)

Cette PR regroupe automatiquement l'ensemble des Pull Requests prêtes à être fusionnées dans main.
Branche source : rollup/all-prs | Branche cible : main | Généré le : 2026-08-16 08:00:06 UTC

✅ Pull Requests incluses

PR Titre Auteur Branche
#144 chore: retirer .idea/ du suivi git (deja present dans .gitignore) @DZTic chore/issue-139-remove-idea-from-git
#143 docs: mettre a jour native/README.md (references obsoletes a l'app Capacitor) @DZTic docs/issue-138-update-native-readme
#142 security: exclure les preferences chiffrees du auto-backup Android @DZTic security/issue-137-exclude-secure-prefs-backup
#141 build: definir une signingConfig release avant toute distribution publique @DZTic build/issue-136-release-signing
#140 fix(db): remplacer fallbackToDestructiveMigration par de vraies migrations Room @DZTic fix/issue-135-room-migrations

🎯 Clôture automatique des PRs et Issues

Closes #144, Closes #143, Closes #142, Closes #141, Closes #140


💡 Pour valider ces modifications, fusionnez cette Pull Request dans main.

@DZTic
DZTic merged commit 8273c42 into main Aug 16, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant