New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Avoid churn #3

Merged

zbraniecki merged 1 commit into master from avoid-churn

Mar 28, 2019

Owner

zbraniecki commented Mar 19, 2019

No description provided.

zbraniecki force-pushed the avoid-churn branch 6 times, most recently from 19591e1 to 7e0f831 Compare

March 27, 2019 23:43


          Avoid churn

54ff2c6

zbraniecki force-pushed the avoid-churn branch from 7e0f831 to 54ff2c6 Compare

March 28, 2019 21:44

zbraniecki merged commit 54ff2c6 into master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet