Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Pinned
2,026 contributions in the last year
Contribution activity
July 2020
Created a pull request in zulip/zulip that received 5 comments
short_name: Remove short_name from UserProfile
The first batch are prep commits. I have the big final commit on a local branch, but it still needs some cleanup, and I can break it apart a bit.
+308
−243
•
5
comments
- events: Extract zerver/lib/fetch.py.
- dead code: Remove legacy reaction actions.
- Export/import alert words
- Add alert words to test/dev databases
- export: Fix stream-related bugs
- Fix exports (and add alert words to test database)
- Create event_schema.py (v2)
- urls: Support simple slugs for stream/PM narrows
- pointer: Remove pointer from the database.

