Pull Request revert

Hello guys,
Here you introduced your plans for PR reverting feature.
Is that implemented? Number is #6375.

Did a search but nothing.

Thank you.