Re: [GRASS-dev] Merging PRs

2019-07-12 Thread Helmut Kudrnovsky
>Any opinions on merging PRs related to MS Windows builds to .>master without testing by another person? more description why the changes and more testing before merging is welcome. it seems there is some windows dll hell issue at the moment which should be solved before the PRs can be tested.

Re: [GRASS-dev] Merging PRs

2019-07-12 Thread Markus Metz
On Fri, Jul 12, 2019 at 4:23 PM Huidae Cho wrote: > > Greetings Developers, > > In https://trac.osgeo.org/grass/wiki/HowToGit, it is not clear who is responsible for merging PRs when. Are individual core developers encouraged (allowed?) or discouraged to merge them? I'm talking about core, not

[GRASS-dev] Merging PRs

2019-07-12 Thread Huidae Cho
Greetings Developers, In https://trac.osgeo.org/grass/wiki/HowToGit, it is not clear who is responsible for merging PRs when. Are individual core developers encouraged (allowed?) or discouraged to merge them? I'm talking about core, not addons. How does it work? The main reason why I ask this