emojibot for FLT (or anyone else?)

Stream: FLT

[Kim Morrison]

I was upgrading the Mathlib emojibot, and sad that it is not available for other projects, so decided to spin it out. Would FLT like to give it a test run?

Hopefully the README at https://github.com/leanprover-community/zulip-emoji-action tells you everything you need to know.

You should set up emojis for awaiting-author and awaiting-review, and it should automatically reflect CI statuses via emoji.

[Kim Morrison]

(I am also happy to make a PR turning it on myself: just +1 this post.)