Un pull c’est un fetch et un merge. Le tirage c’est juste le fetch. Le mot intégration fonctionne aussi bien pour l’idée d’une fusion (merge) et pour l’idée d’une fusion après récupération (merge after fetch i.e. pull). Le terme requête est juste mais peut-être un peu trop soutenu.
Le mot « tirage » s’il est bien français n’est simplement jamais utilisé pour une fusion ou une récupération, donc c’est vraiment un anglicisme ici. On ne dit pas « je vais aller tirer mon colis » en allant à la poste pour dire qu’on va le récupérer, « se faire tirer son colis » a vraiment un tout autre sens.
ce commentaire est sous licence cc by 4 et précédentes
[^] # Re: Requête de tirage
Posté par Thomas Debesse (site web personnel, Mastodon) . En réponse au journal The Minimum Viable Pull-request. Évalué à 4.
demande d’intégration
Un pull c’est un fetch et un merge. Le tirage c’est juste le fetch. Le mot intégration fonctionne aussi bien pour l’idée d’une fusion (merge) et pour l’idée d’une fusion après récupération (merge after fetch i.e. pull). Le terme requête est juste mais peut-être un peu trop soutenu.
Le mot « tirage » s’il est bien français n’est simplement jamais utilisé pour une fusion ou une récupération, donc c’est vraiment un anglicisme ici. On ne dit pas « je vais aller tirer mon colis » en allant à la poste pour dire qu’on va le récupérer, « se faire tirer son colis » a vraiment un tout autre sens.
ce commentaire est sous licence cc by 4 et précédentes