I'd also be up for scheduling a meeting to discuss just this topic if people wanted to do that. I thought that last weeks discussion of the Arm64 proposal was quite useful.
Yeah, if you want this resolved urgently and we're at a standstill with the discussion on Gerrit, that would probably be the best option. I should be free to meet on any of the remaining work days until Christmas. (I'll actually be taking the same flight back on Jan 10th so I'm going to miss that meeting as well, sorry, dates just happened to fall like that unfortunately.)