FYI, the repo config specified here did not work for me:...