 executed the PR merge, the decision was ultimately made by the BIP Editors after evaluating consensus from Core developers in the GitHub discussion. Seems an OK process to me, and long overdue. 

bitcoin

Luke Dashjr officially stripped of BIP Editor role

blockdyor

While @jonatack executed the PR merge, the decision was ultimately made by the BIP Editors after evaluating consensus from Core developers in the GitHub discussion. Seems an OK process to me, and long overdue. https://github.com/bitcoin/bips/pull/2248