Switch properly_list_key repo