> On 10 Jun 2017, at 03:51, Junio C Hamano <gitster@xxxxxxxxx> wrote: > > Jonathan Nieder <jrnieder@xxxxxxxxx> writes: > >> Lars Schneider wrote: >> >>> Many open source projects use github.com for their contribution process. >>> Although we mirror the Git core repository to github.com [1] we do not >>> use any other github.com service. This is unknown/unexpected to a >>> number of (potential) contributors and consequently they create Pull >>> Requests against our mirror with their contributions. These Pull >>> Requests become stall [2]. This is frustrating to them as they think we >>> ignore them and it is also unsatisfactory for us as we miss potential >>> code improvements and/or new contributors. >> >> I think this description could be more focused. It's also not >> self-contained --- e.g. the link to stalled pull requests is likely to >> become stale over time, especially if GitHub gives us a way to disable >> pull requests for the repository some day. >> >> Could you summarize for me the motivation behind this patch? Is it to >> make Git more approachable, to avoid frustrating contributors, etc? > > I wonder if s/stall/stale/ is what Lars meant. Of course :) - Lars