Dear Jakob (cc oxygen-user),

Thank you! Creating another personal access token and entering it instead of my GitHub password when asked by the GitHub add-on to authenticate seems to have fixed the problem.

Best,

David

Date: Mon, 8 Jun 2020 20:11:03 +0200
From: Jakob Fix <jakob.fix@gmail.com>
To: oxygen-user <oxygen-user@oxygenxml.com>
Subject: Re: [oXygen-user] oXygen-user Digest, Vol 116, Issue 4
Message-ID:
<CACmjRh9s6-KivHk8UsQ7gm+gQ7soWFN+EUFjpCpvKQU5tCxGKw@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"

Hello David,

I guess you want to create a Personal access token here:
https://github.com/settings/tokens
Make sure you tick the Repository checkbox and use the token instead of
your password.

HTH,
Jakob.