Skip to content

Pollbot (updated PR from main repo) #41

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

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Conversation

neiljp
Copy link
Contributor

@neiljp neiljp commented Jul 30, 2017

No description provided.

@neiljp neiljp changed the title [WIP] Pollbot (updated PR from main repo) Pollbot (updated PR from main repo) Aug 2, 2017
Copy link
Member

@aero31aero aero31aero left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ran it manually. It looks a lot better than the original version. 🎉

@zulipbot
Copy link
Member

zulipbot commented Sep 7, 2017

Hello @neiljp, a Zulip maintainer reviewed this pull request over 7 days ago, but you haven't updated your pull request since. Please take a look at the requested changes and update your pull request accordingly.

Thank you for your valuable contributions to Zulip!

@timabbott
Copy link
Member

Tagging this with "inactive" so Zulipbot will stop complaining, since this is blocking on review.

@PIG208
Copy link
Member

PIG208 commented Jun 14, 2021

I guess we can close this as we have already implemented polling in the UI.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants