[Koha] broken kohadevbox

[Jonathan Druart]

The Internet answers things about proxies, firewalls and http, try using
git:// instead:
  `git remote set-url origin git://git.koha-community.org/koha.git`
then `git remote update`

On Wed, 30 Nov 2016 at 20:22 Radek Šiman <radek.siman at centrum.cz> wrote:

> Dear collegues,
> please help me to fix my serious problem with kohadevbox. I was updating
> sources from master using "git pull", but my internet connection got
> broken. Now I cannot update anymore even if I reset the master with
> git reset --hard origin/master
>
> vagrant at kohadevbox:kohaclone(master)$ git pull
> error: Unable to find 0dc1b622844f51da59bace572a04141733ba1f3a under
> http://git.koha-community.org/koha.git
> Cannot obtain needed tree 0dc1b622844f51da59bace572a04141733ba1f3a
> while processing commit 7636c68d769a1c2e62ced6aa9f2fbe12adf22c8d.
> error: fetch failed.
>
> How can I solve this?
> Radek
>
> _______________________________________________
> Koha mailing list  http://koha-community.org
> Koha at lists.katipo.co.nz
> https://lists.katipo.co.nz/mailman/listinfo/koha
>