Hi Enrico,
Enrico Weigelt wrote:
> is there already an command for directly manipulating refs
> (eg. set a specific to given object id) ?
$ 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
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html