Learn a quick practical way to rename a Git branch locally and on GitHub while preserving history and updating the remote.