build_list_users.Rd
Génère la liste des utilisateurs/contributeurs des projets et les sauvegarde localement dans data/gitusers.RData La liste des projets doit être sauvegardée dans data/gitrepos.RData au préalable (voir build_list_proj)
build_list_users()
Void
# Working only if file data/gitrepos.RData exist
if(interactive()){
build_list_users()
}