Better discussions with @zulip. Communicating through and about code. Secretly still a mathematician. π³οΈβπ
- San Francisco
- http://web.mit.edu/price
Highlights
- Pro
Block or Report
Block or report gnprice
Report abuse
Contact GitHub support about this userβs behavior. Learn more about reporting abuse.
Report abusePinned
-
gitconfig
gitconfig 1# This is a snapshot of my ~/.gitconfig file, minus a few bits2# that are obsolete or non-reusable.3#4# For explanation of each setting, see `git help config`5# or https://git-scm.com/docs/git-config . -
anki-jessie
anki-jessie PublicSimple way to run Anki on Debian 9.0 stretch, using a Debian 8 jessie environment
-
-
1,333 contributions in the last year
| Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | |||||||||||||||||||||||||||||||||||||||||
| Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
| Saturday Sat | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
March 2024
Created 16 commits in 4 repositories
Created a pull request in zulip/zulip-flutter that received 3 comments
Upgrade Gradle, AGP, other Android build deps and metadata
There are currently some warnings that flutter run prints for Android targets. After the Android notifications work I did a couple of weeks ago, I β¦
+64
β45
lines changed
•
3
comments
Opened 1 other pull request in 1 repository
zulip/zulip-flutter
1
merged
-
store: Retry registerQueue on failure; start testing UpdateMachine.load
This contribution was made on Mar 12
Reviewed 14 pull requests in 4 repositories
zulip/zulip-flutter
11 pull requests
-
inbox: Fix collapsing a section from its sticky header
This contribution was made on Mar 23
-
msglist: Leave blank space for "mark as read" button so using it doesn't cause messages to shift
This contribution was made on Mar 23
-
check: pin flutter version
This contribution was made on Mar 22
-
Added letterSpacing to buttons
This contribution was made on Mar 22
-
content: Open links externally on iOS
This contribution was made on Mar 20
-
login: display message when account already logged in
This contribution was made on Mar 12
-
store: Retry registerQueue on failure; start testing UpdateMachine.load
This contribution was made on Mar 12
-
#171 : Show edited/moved marker on messages
This contribution was made on Mar 10
-
Fix avatar blurriness in profile screen
This contribution was made on Mar 8
-
Fix Email Authentication Issue Caused by Trailing Spaces
This contribution was made on Mar 5
-
content: Show code, mentions, and times properly even in headings etc.
This contribution was made on Mar 4
zulip/zulip
1 pull request
-
docs: fix pronoun use in hindi translation guide.
This contribution was made on Mar 20
flutter/flutter
1 pull request
-
Add helper widget parameter to InputDecoration
This contribution was made on Mar 20
zulip/zulip-mobile
1 pull request
-
ui: Use "channel" or "stream" based on server feature level
This contribution was made on Mar 5
Created an issue in zulip/zulip-flutter that received 6 comments
Set letter spacing to 1% in buttons
This is a followup to #545. That issue is focused on the one most conspicuous kind of text in the app; this one is for the rest of the app. Specifiβ¦
6
comments
Opened 16 other issues in 2 repositories
zulip/zulip-flutter
12
open
3
closed
-
Local echo when sending messages
This contribution was made on Mar 21
-
Build broken because latest Flutter needs new
intlThis contribution was made on Mar 20 -
notif: Translate "to you and N others", handling number properly
This contribution was made on Mar 19
-
notif: Use
#with stream namesThis contribution was made on Mar 19 -
notif: Show time in collapsed notification
This contribution was made on Mar 19
-
notif: Show organization name, not URL, in collapsed notification
This contribution was made on Mar 19
-
notif: Show organization URL in collapsed notification
This contribution was made on Mar 19
-
Sort stream names case-insensitively in "Subscribed streams"
This contribution was made on Mar 19
-
Comprehensively retry poll/register even on unforeseen errors
This contribution was made on Mar 12
-
msglist: Leave blank space for "mark as read" button so using it doesn't cause messages to shift
This contribution was made on Mar 12
-
Retry registerQueue
This contribution was made on Mar 8
-
Show detailed poll-failure feedback, in beta
This contribution was made on Mar 8
-
Reset backoff interval after successful connection
This contribution was made on Mar 8
-
Login autofill doesn't work right on username/password login screen, on Android
This contribution was made on Mar 2
-
Zero out letter spacing in message content
This contribution was made on Mar 1
flutter/flutter
1
open
-
[pigeon]
constant_identifier_nameslint complains on generated codeThis contribution was made on Mar 23






