+1 Jacques
Le 14/02/2020 à 12:29, Pierre Smits a écrit :
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 <[email protected]> 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
