Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix: remove right arrow emoji to find the end of the bot message
In the has_unsatisfied_dod function, the emoji with the right arrow at the last criterion is removed to be able to find the end of the bot message if it is an indented DOD.
- Loading branch information