Work Product: Google Summer of Code 2020 with Zulip Link to all Pull Requests Link to all merged commits search: Resume project to integrate search pills. Relevant PRs: #14930,