Fix git fetch from invenio-software.org