Rename branch github

Renaming a branch on GitHub involves changing a repository"s code-line name either directly within the platform"s web management dashboard or via local terminal commands. Locally, a developer runs `git branch -m [old_name] [new_name]` and then force-pushes the modification up to the hosting infrastructure to re-align tracking.