zulip

Currently, the summary of the code contributors is only restricted to the server: https://blog.zulip.com/2021/05/13/zulip-4-0-released/.

$ git shortlog -s 3.0..4.0 | sort -nr
  1017        Anders Kaseorg
   634        Steve Howell
   403        Tim Abbott
   ...

It would be nice to have a script that aggregates the contributions from multiple repo (additionally zulip-mobile, zul

Especially for IRC, the outgoing IP address can matter a lot. Need some way to set which one to use on a box that has many.

Describe the bug

There is no spacing between tooltip of organisation and the sidebar. While there is padding for the tooltips of the settings, dnd, back, reload button.

To Reproduce

1. Open the zulip desktop client.
2. Hover over organisation or add organsation button.

**Exp

#880 and #900 added several important elements in the StreamInfo view almost matching the "Stream settings" of the web app. However, there are possibilities for adding more fields to the popup, which includes:

• Stream id (maybe the web app is planning to add this too(?))
• Type of the stream (Public/Private)
• Posting policy (e.g. announc

This is likely a side effect of the CircleCI => GitHub migration.

https://app.codecov.io/gh/zulip/python-zulip-api seems to not be 0, so I'm guessing we just have the badge misconfigured.

Using https://github.com/kowainik/co-log