Fix pinning of mk repositories

Change-Id: I5b9c0af413f0e9b96662e2168e01519c27fa14fd
4 files changed