On Sat, Jun 13, 2020 at 01:39:43PM -0400, Solomon Peachy wrote: > Yeah, gerrit is pretty much useless without javascript, although once > you have the account set up and add your ssh keys, you can interact > with it via the cmdline.
Thanks for the tip - I may try that sometime. In addition to Rockbox, there are a few other Gerrit-hosted free software repos that I'd like to be able to push patches to, and I'd be much more inclined to do that via CLI. Nothing urgent, though, so it might take me a while... > Meanwhile, I've applied both of your patches, thank you! Ace, thank you too! -- A: When it messes up the order in which people normally read text. Q: When is top-posting a bad thing? () ASCII ribbon campaign. Please avoid HTML emails & proprietary /\ file formats. (Why? See e.g. https://v.gd/jrmGbS ). Thank you.
