Under the 'Working with Pull Requests' heading, the new 'fetch' entry in .git/config should refer to 'upstream', not 'origin'.
Indeed thanks :)
Pull-Request has been merged by pingou
Under the 'Working with Pull Requests' heading, the new 'fetch' entry in .git/config should refer to 'upstream', not 'origin'.