Re: [Koha] broken kohadevbox

2016-11-30 Thread 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 wrote: > Dear collegues, > please help me to fix

[Koha] broken kohadevbox

2016-11-30 Thread Radek Šiman
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