tree 4912d0e85ebacce2dba905ce45e1c6042f7935c7
parent 075b725cbd565f017b1791b36aad026b115b1f83
author nicolaferraro <ni.ferraro@gmail.com> 1604924589 +0100
committer Nicola Ferraro <ni.ferraro@gmail.com> 1605220337 +0100

Fix #1771: use registry creds for pull and push