Am 09.09.2020 um 19:36 schrieb Sven Schreiber:
Am 09.09.2020 um 01:16 schrieb Cottrell, Allin:
> On Tue, Sep 8, 2020 at 5:05 PM Sven Schreiber <svetosch(a)gmx.net> wrote:
> I think you're fine at this point, Sven. If anything bad were
going to
> happen it could really only be collateral damage in case rpl didn't
> work quite as it was supposed to. And I reckon that would be apparent
> by now.
Right, I merged these changes into master and pushed it to the repo.
Bye-bye ntodate.
In principle the branch "ntolabel" can be deleted now, but I haven't
done that yet.
It's removed now, as usual you will have to do something like "git fetch
--prune" to also delete the stale branch(es) locally.
(No guarantee about the command, I'm not the git guru.)
cheers
sven