Re: direct ref manipulation

Hi Enrico,

Enrico Weigelt wrote:

$ man git |grep ref
    Do not use replacement refs to replace git objects. See git-replace(1) for more information.
See the references above to get started using git. The following is probably more detail than necessary
    Move objects and refs by archive.
    Download objects and refs from another repository.
    Update remote refs along with associated objects.
    (deprecated) Recover lost refs that luckily have not yet been pruned.
git-pack-refs(1)
git-reflog(1)
    Manage reflog information.
    Create, list, delete refs to replace objects.
move objects and references between repositories.
git-symbolic-ref(1)
    Read and modify symbolic refs.
git-update-ref(1)
    Update the object name stored in a ref safely.
git-for-each-ref(1)
    Output information on each ref.
    List references in a remote repository.
git-show-ref(1)
    List references in a local repository.
git-check-ref-format(1)
    Ensures that a reference name is well formed.
...

Perhaps you are looking for git-update-ref.

Hope that helps, Jonathan