Skip to content
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

points: assign points for having PRs merged #33

Merged
merged 13 commits into from Jan 17, 2019
Merged

points: assign points for having PRs merged #33

merged 13 commits into from Jan 17, 2019

Commits on Jan 7, 2019

  1. points: assign points for having PRs merged 

    This builds on #32, giving people points for having PRs merged.  Points still don't affect your chance of winning.

Specific changes:

* Adds a function to look up how many points everyone has.
* If there's a number in your user file, that also gives you points.  So this is compatible with #32 but doesn't depend on it.
    @jeffkaufman
    jeffkaufman committed Jan 7, 2019
    Copy the full SHA
    cf31162 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into points-for-changes

    @jeffkaufman
    jeffkaufman committed Jan 7, 2019
    Copy the full SHA
    b4e98f5 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2019

  1. catch all errors, not just ValueErrors

    @jeffkaufman
    jeffkaufman committed Jan 8, 2019
    Copy the full SHA
    cf4b972 View commit details
    Browse the repository at this point in the history

  2. only count points for PRs after this one

    @jeffkaufman
    jeffkaufman committed Jan 8, 2019
    Copy the full SHA
    cc8a04f View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2019

  1. Merge branch 'master' into points-for-changes

    @jeffkaufman
    jeffkaufman committed Jan 9, 2019
    Copy the full SHA
    230c8d7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into points-for-changes

    @jeffkaufman
    jeffkaufman committed Jan 9, 2019
    Copy the full SHA
    d698e86 View commit details
    Browse the repository at this point in the history

  3. don't assign points for #33 or any prs merged before then

    @jeffkaufman
    jeffkaufman committed Jan 9, 2019
    Copy the full SHA
    69eee07 View commit details
    Browse the repository at this point in the history

  4. support bonus directory

    @jeffkaufman
    jeffkaufman committed Jan 9, 2019
    Copy the full SHA
    1e8c77c View commit details
    Browse the repository at this point in the history

  5. comment

    @jeffkaufman
    jeffkaufman committed Jan 9, 2019
    Copy the full SHA
    b1b437c View commit details
    Browse the repository at this point in the history

  6. Revert "comment" 

    This reverts commit b1b437c.
    @jeffkaufman
    jeffkaufman committed Jan 9, 2019
    Copy the full SHA
    443f146 View commit details
    Browse the repository at this point in the history

  7. Revert "support bonus directory" 

    This reverts commit 1e8c77c.
    @jeffkaufman
    jeffkaufman committed Jan 9, 2019
    Copy the full SHA
    a6895a8 View commit details
    Browse the repository at this point in the history

  8. add comments; remove points printing

    @jeffkaufman
    jeffkaufman committed Jan 9, 2019
    Copy the full SHA
    caa687f View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2019

  1. Merge branch 'master' into points-for-changes

    @jeffkaufman
    jeffkaufman committed Jan 11, 2019
    Copy the full SHA
    85b29cb View commit details
    Browse the repository at this point in the history