-
Notifications
You must be signed in to change notification settings - Fork 92
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
Awesome Song! #392
Awesome Song! #392
Conversation
☑️ Voting procedure reminder:To cast a vote, post a comment containing 👍 All comments within this discussion are searched for votes, regardless of the time of posting. A decision will be made after this PR has been open for 15 minutes (plus/minus 10 percent, to avoid people timing their votes), and at least 8 votes have been made. NOTE: the PR will be closed if any new commits are added after: |
👍 |
👍 |
1 similar comment
👎 |
👎 I agree with @timweightman. The interface is already polluted enough as it is, and I'd rather do away with the noise, and get back to just the bare statistics. Hell, I think a true interface for the bot should be JSON APIs, and everyone can build their own interfaces. Could be a neat feature to have the bot manage a separate repository. |
👍 moarrrr bullshit |
👎 |
I can see that this project is under a hostile takeover from people that don't understand it. 👍 |
👎 |
I agree, though not enough to downvote it 👍 |
Fair point. 👍 |
Add the best background music ever to the site! (It actually doesn't slow anything down too!)