Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Document how to delete a remote branch #672

Merged
merged 1 commit into from Oct 3, 2023
Merged

Conversation

jcouball
Copy link
Member

@jcouball jcouball commented Oct 3, 2023

Your checklist for this pull request

馃毃Please review the guidelines for contributing to this repository.

  • Ensure all commits include DCO sign-off.
  • Ensure that your contributions pass unit testing.
  • Ensure that your contributions contain documentation if applicable.

Description

Document how to use this API to delete a remote branch. Fixes #671

Signed-off-by: James Couball <jcouball@yahoo.com>
@jcouball jcouball merged commit 8481f8c into master Oct 3, 2023
9 checks passed
@jcouball jcouball deleted the doc_delete_remote_branch branch October 3, 2023 19:09
@jcouball jcouball mentioned this pull request Dec 29, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Delete remote branch
1 participant