monkey
7 years ago
Merge branch 'monkey' of https://github.com/PennyDreadfulMTG/Penny-Dreadful-Tools into monkey
No dependencies with known security vulnerabilities.
master
7 years ago
Merge pull request #6773 from PennyDreadfulMTG/speed-rotation-page
Slightly sketchy speed-up for /r
No dependencies with known security vulnerabilities.
monkey
7 years ago
Separate the actual push from the checking that push is good in dev.py.
No dependencies with known security vulnerabilities.
monkey
7 years ago
The only mypy is now strict mypy.
Fixes #6794.
No dependencies with known security vulnerabilities.
master
7 years ago
Merge pull request #6775 from PennyDreadfulMTG/jenkins_results
Automated PR from Jenkins
No dependencies with known security vulnerabilities.
jenkins_results
7 years ago
Automated update
No dependencies with known security vulnerabilities.
master
7 years ago
Merge pull request #6795 from PennyDreadfulMTG/monkey
Switch entirely to dev.py from make.
No dependencies with known security vulnerabilities.
monkey
7 years ago
Consistent whitespace in stderr messages.
No dependencies with known security vulnerabilities.
monkey
7 years ago
Make task labels more easily greppable.
No dependencies with known security vulnerabilities.
jenkins_results
7 years ago
Automated update
No dependencies with known security vulnerabilities.
jenkins_results
7 years ago
Automated update
No dependencies with known security vulnerabilities.
master
7 years ago
Merge pull request #6793 from PennyDreadfulMTG/deathtomake
Make dev.py push work with local changes
No dependencies with known security vulnerabilities.
deathtomake
7 years ago
Have dev.py push stash local changes and then reapply them on completion.
No dependencies with known security vulnerabilities.
