Merge vers master ? #17

Merged
httjbe merged 123 commits from dev into master 2023-02-07 14:43:12 +01:00
Member
No description provided.
Ca me parait bon, juste la commande ping qui se répète mais je corrige ça après le merge
Reviewed-on: cygnus/cygnus-bot#10
# Conflicts:
#	src/main.rs
# Conflicts:
#	src/commands/lier.rs
# Conflicts:
#	src/main.rs
# Conflicts:
#	src/commands/users/lier.rs
# Conflicts:
#	src/commands/users/lier.rs
Suppression de la commande renvoyer.rs
--> ajout command [main.rs]
--> sending message if everything is ok [set_role.rs]
> ajout perm. pour utiliser la commande
# Conflicts:
#	src/storage/file_storage.rs
--> rework de ajout au storage
Reviewed-on: cygnus/cygnus-bot#13
--> ajout de description parce que j'ai oublié
# Conflicts:
#	src/commands/admins/set_role.rs
technique chackal
revert c'est pas un mail c'est un e-mail

technique chackal
Reviewed-on: cygnus/cygnus-bot#16
# Conflicts:
#	src/commands/users/verifier_user.rs
httjbe merged commit e3dc49a897 into master 2023-02-07 14:43:12 +01:00
httjbe referenced this pull request from a commit 2023-02-07 14:43:13 +01:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
CEI/cygnus-bot!17
No description provided.