search

SebastJava / mint-yz-theme

Mint-Yz: new colors for a new era
GNU General Public License v3.0
52 stars 5 forks source link

Rename all the branches created for pull requests so that they can be grouped together #20

Closed SebastJava closed 2 years ago

SebastJava commented 2 years ago

Many branches were created for many pull requests on https://github.com/linuxmint/mint-themes/pulls These are still waiting. They should be renamed with a common prefix such as "PR" in order to get those branches grouped and classified.

SebastJava commented 2 years ago

Done using those simple 4 steps: https://linuxize.com/post/how-to-rename-local-and-remote-git-branch/

Renaming Git Branch

Follow the steps below to rename a Local and Remote Git Branch:

  1. Start by switching to the local branch which you want to rename: git checkout <old_name>
  2. Rename the local branch by typing: git branch -m <new_name>

At this point, you have renamed the local branch.

If you’ve already pushed the branch to the remote repository, perform the next steps to rename the remote branch.

  1. Push the local branch and reset the upstream branch: git push origin -u <new_name>
  2. Delete the remote branch: git push origin --delete <old_name>

That’s it. You have successfully renamed the local and remote Git branch.