Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
Already on GitHub? Sign in to your account
Perf: Don't filter events for push #2343
Conversation
erikjohnston
assigned
NegativeMjark
Jul 7, 2017
erikjohnston
merged commit 08284c8
into
develop
Jul 7, 2017
7 of 8 checks passed
Sytest Dendron (Commit)
Build #2428 origin/erikj/fastpush failed in 9 min 19 sec
Details
Sytest Dendron (Merged PR)
Build finished.
Details
Sytest Postgres (Commit)
Build #3264 origin/erikj/fastpush succeeded in 9 min 10 sec
Details
Sytest Postgres (Merged PR)
Build finished.
Details
Sytest SQLite (Commit)
Build #3349 origin/erikj/fastpush succeeded in 6 min 0 sec
Details
Sytest SQLite (Merged PR)
Build finished.
Details
continuous-integration/travis-ci/pr
The Travis CI build passed
Details
continuous-integration/travis-ci/push
The Travis CI build passed
Details
erikjohnston
deleted the
erikj/fastpush
branch
Oct 26, 2017
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
erikjohnston commentedJul 7, 2017
We know the users are joined and we can explicitly check for if they are
ignoring the user, so lets do that.