Hi Nick,
I don't know, how hard it is to keep it from the technical perspective, but as long it's not a PITA for Gerrit developers, I ask for keeping that.
Otherwise contributors have to be informed about that change, remember how it's called (imho refs/for/ is easier to remember than refs/publish), and also it's shorter to type.
--
To unsubscribe, email repo-discuss...@googlegroups.com
More info at http://groups.google.com/group/repo-discuss?hl=en