Does the pull request still work?