On Fri, Aug 02, 2019 at 01:06:12PM +0200, Richard Biener wrote: > 1) Stay with SVN > 2) Switch to the existing GIT mirror > 3) Wait for ERS to complete his conversion to GIT > 4) Use the existing new conversion to GIT fixing authors and commit messages > 5) I don't care > 6) I don't care as long as we switch to GIT
7) I don't care as long as we do either 2) or 4). > IMHO voting is bike-shedding. Yes, that is the definition of voting, pretty much. > Those who do the work decide. _They_ may ask questions _and_ decide whether > to listen to the answer. But unfortunately we have been deadlocked for years now. Segher
