pull request failed; doing it manually