Hi Nicolas, Your suggestion to show only open PRs is way better.
I will update the page. Thanks! Best regards, Pierre Smits *Proud* *contributor* (but without privileges)* of* Apache OFBiz <https://ofbiz.apache.org/>, since 2008 *Apache Trafodion <https://trafodion.apache.org>, Vice President* *Apache Directory <https://directory.apache.org>, PMC Member* Apache Incubator <https://incubator.apache.org>, committer Apache Steve <https://steve.apache.org>, committer On Fri, Feb 14, 2020 at 12:15 PM Nicolas Malin <nicolas.ma...@nereide.fr> wrote: > 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 > > > >