Redac/redac-rouille

Fork 0

feat/verif-emoji-51: Ajoute un linter pour les emojis #62

Open

mboyer02 wants to merge 5 commits from feat/verif-emoji-51 into main

mboyer02 commented

2025-12-23 14:31:47 +01:00

Owner

La plupart des commits ci-dessous sont dûs à un rebase sur main fait pré-PR.

Feature issue #51
redac verif regarde tous les fichiers .tex pour trouver des emojis supportés par le BOcal qui ne sont pas sous la forme \emoji{}. NB: il y a toujours des accolades en trop qui sont des artéfacts de l'ancienne implem pré xspace de verif missing macro.

La plupart des commits ci-dessous sont dûs à un rebase sur main fait pré-PR. Feature issue #51 redac verif regarde tous les fichiers .tex pour trouver des emojis supportés par le BOcal qui ne sont pas sous la forme \emoji{}. NB: il y a toujours des accolades en trop qui sont des artéfacts de l'ancienne implem pré xspace de verif missing macro.

mboyer02 added the

kind

feature-request

label

2025-12-23 14:31:47 +01:00

jthulhu was assigned by mboyer02

2025-12-23 14:31:48 +01:00

mboyer02 added 12 commits

2025-12-23 14:31:48 +01:00

feat(emoji-lint): added function finding unicode emojis and returning the associated macro 502807f925

fix(emoji-lint): added verif to all files c5267c42a8

[flake] Added dependencies required to build. dcee0b7b74

[bocal] Implemented siteweb. 9e44994e17

[main] Added the implementation of the siteweb command. d579f9d30e

fix(aled): added link to BOcadoc 8caf735a21

feat(emoji): update cli description for emoji 6469832e33

[cli,main,easter_eggs] Added redac maire. a932afb640

[bocal] Ignoring files starting with .#, fixing #50 . 073b25cf61

fix(lint): trouve articles/ours au lieu de article/ours a4ae9e55a6

fix(lint): proper lint for emoji 8ffead4f4d

fix(lint): removed a \\ too many d88c2a7928

jthulhu commented

2025-12-24 17:04:46 +01:00

Owner

Le rebase se fait au moment de merge la PR. Enlève tous les commits qui ne sont pas exactement les modifications qui sont importantes pour cette modification.

mboyer02 force-pushed feat/verif-emoji-51 from d88c2a7928 to b96ee0feab

2025-12-27 11:44:15 +01:00

Compare

mboyer02 commented

2026-01-07 15:44:10 +01:00

Author

Owner

tu pourras merge ça aussi stp ?

This pull request can be merged automatically.

This branch is out-of-date with the base branch

You are not authorized to merge this pull request.

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin feat/verif-emoji-51:feat/verif-emoji-51

git switch feat/verif-emoji-51

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main

git merge --no-ff feat/verif-emoji-51

git switch feat/verif-emoji-51

git rebase main

git switch main

git merge --ff-only feat/verif-emoji-51

git switch feat/verif-emoji-51

git rebase main

git switch main

git merge --no-ff feat/verif-emoji-51

git switch main

git merge --squash feat/verif-emoji-51