Am 2014-04-14 um 14:09 schrieb Samuele Kaplun <[email protected]>:
> It happens sometimes when the network connection drops while your are > fetching > from the given repo. Git is not so robust in this sense. > > A way to fix it, that always work is to first clone again the given repo in a > different local directory: > > $ cd /tmp > /tmp $ git clone --bare http://invenio-software.org/repo/invenio > > And then modify temporary the origin repo in the .git/config file of your > repository to make it to point to /tmp/invenio.git rather than to > http://invenio-software.org/repo/invenio. > > If you then to a "git fetch", it will be able to restore the situation. > > After that, you can safely restore "origin" to point again to > "http://invenio-software.org/repo/invenio";. Thank you very much, that worked! Strange that I didn’t find this way e.g. on stackexchange. Greetlings, Hraban --- http://www.fiee.net https://www.cacert.org (I'm an assurer)
