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

[bill-auger]

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