β Back to extensions
Hide the GitHub PR merge button on configured days, or when the PR was opened by someone other than you.
Hide the GitHub PR merge button on configured days, or when the PR was opened by someone other than you.
User reviews
No reviews collected yet.