... | ... | @@ -461,7 +461,11 @@ from the wiki to the replica. But considering only a limited set of |
|
|
users have access to the wiki in the first place, this shouldn't be a
|
|
|
problem as long as everyone pushes to the replica.
|
|
|
|
|
|
## Branch Name Changes
|
|
|
## Renaming a branch globally
|
|
|
|
|
|
While `git` supports renaming branches locally with the `git branch
|
|
|
--move $to_name` command, this doesn't actually rename the remote
|
|
|
branch. That process is more involved.
|
|
|
|
|
|
Changing the name of a default branch both locally and on remotes can
|
|
|
be partially automated with the use of [anarcat's branch rename
|
... | ... | |