The issue has been closed

Add Copy Button to branch name after merge & should only copy branch name without username #3522

muescha posted onGitHub

what:

1) when a PR is merged then i can delete my branch. add here a copy button 2) both copy buttons should only copy the value without my username

why:

with that i can past it direct into a git branch -d or past it into the git branches dialog in WebStorm

screenshots:

We consider those copy buttons useless and were initially rejected as a feature: https://github.com/sindresorhus/refined-github/issues/77

For the same reason, we won't extend them.

Also, if you want to deleted local branches that don't exist on the remote, there's a git command that does that automatically (I don't remember which one)

posted by fregante over 4 years ago

Fund this Issue

$0.00

Funded

Pull requests

Add Copy Button to branch name after merge & should only copy branch name without username #3522

what:

why:

screenshots:

Company

Community

Support

Connect