You need to squash merge, real merging is not allowed on GitHub. With git client it works of course, but we want external pull request not pollute our history.
Uwe Am August 28, 2020 5:45:27 PM UTC schrieb Alexandre Rafalovitch <[email protected]>: >I am working on finalizing >https://github.com/apache/lucene-solr/pull/1794 (DIH removal) and when >I looked at it (before conflicts), it did not allow me to merge. > >It said instead: >"Only those with write access to this repository can merge pull >requests." > >Did I have to do some extra linking of my personal and apache >identities? I am already an apache org member and I am pretty sure >(not 100%) that I pushed directly into GitHub repo before. But now >when I am doing it via PR, it seems different. > >Can anybody else merge and I can't? Or we just don't do merges? > >Regards, > Alex. > >--------------------------------------------------------------------- >To unsubscribe, e-mail: [email protected] >For additional commands, e-mail: [email protected] -- Uwe Schindler Achterdiek 19, 28357 Bremen https://www.thetaphi.de
