copie_locale : le pipeline post_edition utilise la clé 'operation'
Dans la plupart des appels aux pipelines pre/post_edition, c'est la clé action qui est utilisée dans les args : https://search.spip.net/search?q=context%3Aglobal+repo%3A%5Egit%5C.spip%5C.net%2Fspip%2Fspip%24+%27action%27+%3D%3E&patternType=standard&sm=1&groupBy=path
Sauf dans copie_locale, qui utilise operation : https://search.spip.net/search?q=context%3Aglobal+repo%3A%5Egit%5C.spip%5C.net%2Fspip%2Fspip%24+%27operation%27+%3D%3E&patternType=standard&sm=1&groupBy=path
Certains plugins s'attendent à avoir une clé action, et ça occasionne des notices.
Est-ce que ça serait pas plus cohérent de faire comme partout ailleurs et d'utiliser action ? En complément de operation tout du moins dans un 1er temps.
Sur le sujet des clés présentes dans les args, est-ce qu'il y a des specs d'ailleurs ? soit c'est open bar, soit il y a une liste de clés recommandées, soit une liste restreinte de clés possibles.