Clean up a git branch

This skill is for DevOps & Infrastructure and helps you merge a development branch, create a pull request, and clean up a git branch.