This repository was archived by the owner on Jun 19, 2023. It is now read-only.

Perform git push before deleting branch#330

Closed

pokey wants to merge 2 commits intopetervanderdoes:developfrom

pokey:feature/push-before-delete

Commits on Aug 2, 2017

Perform git push before deleting branch
pokey
committed

Commits on Aug 23, 2018

Apply git push fix to other commands
pokey
committed