Hi, Am Mittwoch, den 27.09.2017, 17:13 +0200 schrieb Geertjan Wielenga: > Maybe you can look into the tool and add these into it. >
and before this tool is run again and does mass changes, the current open PULLs should be pulled. Else you potentially destroy human work and introduce merge conflicts. Greetings Matthias
