Maybe, but that doesn’t make sense to me. Why doesn’t it show the user who performed the merge rather than asfgit. Speaking of gitbox, when I get emails of diffs that link to gitbox I am unable to access them. It doesn’t ask me to log in. Does anyone know how to make that work?
Ralph > On Feb 16, 2020, at 11:37 AM, Matt Sicker <boa...@gmail.com> wrote: > > 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> >
