I believe that means a PR was merged via gitbox rather than github. Upon pushing the merge to gitbox, the github sync will automatically mark the PR as merged once it sees it was merged.
On Sun, 16 Feb 2020 at 12:30, Ralph Goers <ralph.go...@dslextreme.com> wrote: > > What does it mean when GitHub says that asfgit performed a merge? I can’t > imagine a real person has that id. > > Ralph -- Matt Sicker <boa...@gmail.com>
