docker: extra repository for docker