[Dev] [INTERVENTION MAYBE REQUIRED] libretools 20180920 release announcement

[Luke Shumaker]

On Fri, 21 Sep 2018 01:57:26 -0400,
bill-auger wrote:
> On Thu, 20 Sep 2018 17:07:19 -0400 Luke wrote:
> > For example, my hackers.git username is 'lukeshu', but on my PC my
> > username (and thus the value of $LIBREUSER) is 'luke'.  Because of
> > this mismatch, I have to put this in my
> > `~/.config/libretools/libretools.conf`:
> > 
> >     REPODEST=ssh://lukeshu@repo.parabola.nu:1863/~/staging/
> 
> why not make LIBREUSER the configurable option and leave REPODEST as
> is? that seems more semantical

That would make sense, but the meaning of LIBREUSER is "the username
that is invoking us, maybe behind sudo".  If I `sudo librewhatever`,
LIBREUSER=luke, not LIBREUSER=root.

-- 
Happy hacking,
~ Luke Shumaker