@remote % gpg --armor --export --export-options export-clean >var/pub/openpgp/$user.key
@remote % git add var/pub/{openpgp,ssh}/$user.key
@remote % git commit -a -m "Ajout : admin : $user ."
- @remote % remote/git-push
+ @remote % remote/git-push -f local
@local % local/git-reset
@local % local/user-admin-add $user
TASK: ajouter un compte IMAP $user