Mike Perry 5f47d582d5 Practracker beatings are even more fun when they get caused mid-PR due to a github auto-rebase of a PR ...

Because github PRs choose the most recent origin/master at the time of the PR
(and for any fixups pushed to a PR later to send to CI), there are tons of
conflicts and unexpected practracker issues.

This means CI can suddenly fail after fixups to a branch that pass locally.

Then CI fails and we have to close and re-open the PR.

2019-05-15 15:10:48 +03:00

..

exceptions.txt

Practracker beatings are even more fun when they get caused mid-PR due to a github auto-rebase of a PR

2019-05-15 15:10:48 +03:00

metrics.py

practracker: Be more careful about excluding "confusing terms"

2019-03-13 09:27:29 -04:00

practracker_tests.py

Improve metrics implementation.

2019-02-27 19:31:15 +02:00

practracker.py

Stop assuming that /usr/bin/python3 exists

2019-03-27 11:07:55 +10:00

problem.py

practracker: add ability to regenerate exceptions file.

2019-03-25 16:09:11 -04:00

util.py

practracker: sort filenames and directories.

2019-03-25 09:08:04 -04:00