Hi, On 31/01/2020 15:53, Pierre Smits wrote: > Pull Request available on Github can be seen in the local clone. In order > to have this working, the following line should be added to the git > configuration of the local clone: > > fetch = +refs/pull/*/head:refs/remotes/origin/pr/* > > > Preferably this line should exist before the 'fetch = > +refs/heads/*:refs/remotes/origin/*' of the 'Github' remote. After some tries I propose to use
fetch = +refs/pull/*/merge:refs/remotes/pr/* instead of fetch = +refs/pull/*/head:refs/remotes/origin/pr/* The first list pull request available to merge, and the second list all pull request (closed included) Nicolas
pEpkey.asc
Description: application/pgp-keys