finishing-a-development-branch

Finishing a development branch requires choosing one of four integration options: merging locally, pushing for a pull request, keeping the branch, or discarding it, each executed with deterministic git commands.

To merge a completed git feature branch locally, the workflow identifies your base branch and provides the exact deterministic git commands to execute the local merge and perform any required cleanup steps.

Yes, you can push a finished git feature branch for a pull request by selecting the push/PR option from the workflow, which generates the deterministic git commands needed to finalize the work and clean up.

To clean up a git development branch after integration, the workflow executes specific cleanup steps based on your chosen completion option, whether you merged locally, pushed a PR, or discarded the branch.

You should discard a finished git feature branch instead of merging it when the completed work is no longer needed, selecting the discard option to execute deterministic git commands that remove the changes and perform cleanup.