Revert pull request button

Open

#148 opened on Jan 25, 2022 0 comments 0 reactions 0 assignees View on GitHub

enhancement

Dominant language: No language data
Stars: 5
Forks: 0
PR merge metrics: No merged PRs in 30d

Description

Would be cool/useful to have a "Revert" button on merged pull requests, similar to GitHub. Really helps tell the easy rollback/Dolt is indestructible story when marketing DoltHub

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Revert pull request button

Description

Contributor guide

Assessment

Get new issues in your inbox