various repo updates, add coverage