MineTrek collaboration repository.