hkr repository