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,300 contributions in the last year
| Day of Week | February Feb | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | ||||||||||||||||||||||||||||||||||||||||
| 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
February 2024
Created 28 commits in 1 repository
Created a pull request in zulip/zulip-flutter that received 1 comment
Cut inefficient CssClassSet out of content parsing
Fixes: #497 The first two commits here are by @chrisbobbe, taken from #503. The later commits go in the same direction for checking a class list isβ¦
+74
β65
lines changed
•
1
comment
Opened 12 other pull requests in 2 repositories
zulip/zulip-flutter
5
open
4
merged
-
Go straight to inbox on launch, when an account available
This contribution was made on Feb 17
-
deps: Upgrade Flutter, pods, and packages; automate upgrades more
This contribution was made on Feb 15
-
Make login flow testable, and start testing it
This contribution was made on Feb 15
-
notif android: Request permission at startup
This contribution was made on Feb 14
-
Retry polling event queue always, with backoff
This contribution was made on Feb 13
-
content test: Share example data between parsing tests and widgets tests
This contribution was made on Feb 9
-
inbox [nfc]: Cut superfluous StickyHeaderItems on individual conversations
This contribution was made on Feb 8
-
msglist: Fix excess fetching on scrolling past code blocks
This contribution was made on Feb 7
-
msglist test [nfc]: Cut some redundant per-case store and connection locals
This contribution was made on Feb 6
flutter/flutter
3
open
-
Small fixes in TextEditingController docs
This contribution was made on Feb 19
-
Fill in SliverConstraints fields missing from ==, hashCode, toString
This contribution was made on Feb 18
-
Explain when and why to use CrossAxisAlignment.baseline
This contribution was made on Feb 17
Reviewed 16 pull requests in 3 repositories
zulip/zulip-flutter
13 pull requests
-
Fix Email Authentication Issue Caused by Trailing Spaces
This contribution was made on Feb 15
-
wip content: Support spoilers!
This contribution was made on Feb 12
-
content test: Share example data between parsing tests and widgets tests
This contribution was made on Feb 12
-
@-mention markers
This contribution was made on Feb 9
-
Multiple Images
This contribution was made on Feb 9
-
reactions: (Actually) make text-emoji chip's height consistent with others
This contribution was made on Feb 8
-
msglist: Set unreads.oldUnreadsMissing to false on batched mark-all-as-read
This contribution was made on Feb 8
-
i18n: Set up "Direct messages" and "All messages" page titles for translation
This contribution was made on Feb 6
-
api: Send simple User-Agent header
This contribution was made on Feb 6
-
Global Times
This contribution was made on Feb 5
-
text: Apply "Source Sans 3" and (on Android) "Noto Color Emoji" widely across the app
This contribution was made on Feb 2
-
content: Fix **
bold code** rendering with regular weightThis contribution was made on Feb 2 -
dev deps: Upgrade
checksto 0.3.0, handling breaking changesThis contribution was made on Feb 2
zulip/zulip
2 pull requests
-
name_restrictions: Reserve additional subdomains.
This contribution was made on Feb 7
-
push-to-pull-request: Accept intermixed options and arguments again
This contribution was made on Feb 2
flutter/flutter
1 pull request
-
Autocomplete Options Width
This contribution was made on Feb 19
Created an issue in zulip/zulip-flutter that received 2 comments
Go directly on launch to inbox / home view
Currently when you launch the app, you get the "Choose account" screen; then when you choose an account, there's a loading screen followed by the "β¦
2
comments
Opened 7 other issues in 1 repository
zulip/zulip-flutter
6
open
1
closed
-
On launch go to last account used, not just first in list
This contribution was made on Feb 17
-
Notifications require manually giving permission, on Android
This contribution was made on Feb 14
-
Option to choose home view: inbox, recent conversations, or all messages
This contribution was made on Feb 13
-
Consider overall timeout for long-poll requests
This contribution was made on Feb 12
-
Excess spacing between sender and paragraph
This contribution was made on Feb 9
-
Increase content font size
This contribution was made on Feb 9
-
Spurious fetch-older request when scrolling past a code block
This contribution was made on Feb 7






