Comment by crtasm

This doesn't affect me but I am curious if it's possible to download the PR and use local tools for the desired merge?