9c63544445
Instead of applying PRs as patches and leaving them as staged changes, the lint builder now checks out the PR branch, so the lint script must be able to call git diff with more than just --cached. (The buildbot will call it with "master...".) |
||
---|---|---|
.. | ||
CleanFiles.py | ||
ReadDolphinMap.idc | ||
buildbot-try.sh | ||
check-includes.py | ||
find-includes-cycles.py | ||
gameini-ratings-from-wiki.sh | ||
lint.sh | ||
perf-disassemble.sh | ||
symbolicate-ppc.py | ||
update-license-headers.sh | ||
update-wiitdb.sh |