I had the same problem when I was trying to look at the MethodHandles diff just now.
On Mon, Feb 17, 2020 at 3:40 AM Ralph Goers <ralph.go...@dslextreme.com> wrote: > 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> > > > > >
