Skip to content
This repository has been archived by the owner on Jan 23, 2025. It is now read-only.

fix: actually delete branch #147

Merged
merged 1 commit into from
Sep 18, 2018
Merged

Conversation

alexander-fenster
Copy link
Contributor

A little bit inconsistent API. No need to say refs/ when we delete a branch.

  • Tests and linter pass
  • Code coverage does not decrease (if any source code was changed)
  • Appropriate docs were updated (if necessary)

@googlebot googlebot added the cla: yes This human has signed the Contributor License Agreement. label Sep 18, 2018
@alexander-fenster alexander-fenster merged commit 220c844 into master Sep 18, 2018
@alexander-fenster alexander-fenster deleted the now-do-delete-branch branch September 18, 2018 17:45
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
cla: yes This human has signed the Contributor License Agreement.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants