Can I map local branches to remote branches with different prefixes in git?

Question

We're working with a semi-centralized git repository here where I work. Each developer has their own subtree in the central git repository, so it looks something like this:

master
alice/branch1
alice/branch2
bob/branch1
michael/feature
release/1.0
release/1.1

Working locally in my tree I have topic/feature, which corresponds to michael/feature in the central tree.

I've been using

git push origin topic/feature:michael/feature

to push my changes to the remote tree. However, this is cumbersome and prone to mistakes (e.g. omitting the developer name, misspelling the feature name, etc.).

I'm looking for a cleaner way to do this. For instance, "git push". I suspect that setting a different remote with a modified fetch refspec will do it, but I'm not sure how exactly to do it. I'm also not sure how to modify my current branch definitions to use the different remote.

My current .git/config looks something like:

[remote "origin"]
    url = git://central/git/project
    fetch = +refs/heads/*:refs/remotes/origin/*
[branch "topic/feature"]
    remote = origin
    merge = refs/heads/michael/project

Edit: I'd also like to apply this to pulls/fetches. But does the branch.<name>.merge take care of that?

I'll continue to research this and post here if I find something, but I'm hoping to get some other good ideas.

Edit 2: I've decided I'll keep local and remote branch names the same. It appears it will be the least work and least prone to future problems.

Answer 1

In your [remote "origin"] section, add one line per mapping. Including master to master.

push = refs/heads/master:master
push = refs/heads/topic/feature:michael/feature

I'm not sure how to do it with the git-config command.

Be aware that from now on, all branches are pushed at the same when you do a straight git push (with no params).

Would you care to explain why you don't keep the same branch names locally and remotely?

Answer 2

If you can, I suggest you use the same branch names locally & remotely. Then git push will push all of your local branches to corresponding branches in the central repository.

To use different prefixes in local and remote repos, you need to add a mapping to your config file each time you create a new feature branch. The command to set up the mapping for topic/BRANCH_NAME is

 git config remote.origin.push refs/heads/topic/BRANCH_NAME:michael/BRANCH_NAME