Remove github dependency on old terminusdb dev