-
Notifications
You must be signed in to change notification settings - Fork 204
Use symbol emojis instead of human emojis #472
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. Weβll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
d197ccd to
41e01b1
Compare
|
Personally, I prefer more π or β than π . |
41e01b1 to
b42e970
Compare
|
@rhengles β looks like a good choice. Changed. Thoughts on the stale PR with merge conflicts emoji? It was π . I changed it to π as it's a bit different than β. I'm reconsidering that though. Which does everyone else prefer? |
|
@andrewda Re-review needed after change |
|
@PlasmaPower Have you just been stockpiling PRs? |
|
@mark-i-m I stockpile ideas, then sometimes I feel like doing stuff. |
|
I have chaosbot's full attention - literally all the PRs it is processing right now are mine π. |
|
Shameless plug: #420 |
|
@mark-i-m yeah I'm really appreciating that right now. |
b42e970 to
55732bc
Compare
|
Now includes stalled CI failed message (recently merged). |
|
πββοΈ PR passed with a vote of 10 for and 0 against, a weighted total of 10.0 and a threshold of 6.5, and a current meritocracy review. See merge-commit 2970afc for more details. |
When I'm glancing through emails, I have to look closely to see what πββοΈ and π are. It'd be a lot easier with β and β . The different colors make it a lot clearer.