Examples of using Pull request in English and their translations into French
{-}
-
Colloquial
-
Official
In the pull request, choose the option to edit the title or description.
Dans la demande d'extraction, choisissez l'option permettant de modifier le titre ou la description.specifying the ID of the pull request.
en spécifiant l'ID de la demande d'extraction.To post a reply to a comment in a pull request, run the post-comment-reply command, specifying.
Pour publier une réponse à un commentaire dans une demande d'extraction, exécutez la commande post-comment-reply, en spécifiant les éléments suivants.to the source branch, which updates the pull request with code changes.
ce qui permet de mettre à jour la demande d'extraction avec les changements de code.You should be able to create the pull request, but get an error if you try to merge it.
Vous devez être en mesure de créer la demande d'extraction, mais que vous obtenez une erreur si vous essayez de fusionner.the AWS CLI to update the title or description of a pull request.
jour le titre ou la description d'une demande d'extraction.When you are satisfied that all the code changes have been reviewed and agreed to, from the pull request, do one of the following.
Lorsque vous êtes satisfait que toutes les modifications de code ont été vérifiées et approuvées, à partir de la demande d'extraction, exécutez l'une des actions suivantes.You can use the AWS CodeCommit console to update the title and description of a pull request in an AWS CodeCommit repository.
Vous pouvez utiliser la console AWS CodeCommit pour mettre à jour le titre et la description d'une demande d'extraction dans un Référentiel AWS CodeCommit.To view whether there are any merge conflicts for a pull request, run the get-merge-conflicts command, specifying.
Pour voir s'il existe des conflits de fusion pour une demande d'extraction, exécutez la commande get-merge-conflicts en spécifiant.The full commit ID of the commit in the destination branch where the pull request will be merged with the--before-commit-id option.
L'ID de validation complet de la validation dans la branche de destination dans laquelle la demande d'extraction va être fusionnée avec l'option --before-commit-id.Pull request comment events: If you select this option, users receive emails when someone comments or replies to a comment in a pull request.
Pull request comment events: si vous sélectionnez cette option, les utilisateurs reçoivent un e-mail lorsque quelqu'un effectue un commentaire ou répond à un commentaire dans une demande d'extraction.users receive emails when someone comments on a commit outside of a pull request.
les utilisateurs reçoivent un e-mail lorsque quelqu'un commente une validation en dehors d'une demande d'extraction.verify that Pull Request and Push are both selected.
les deux options Demande d'extraction et Push sont sélectionnées.Required to change the description of a pull request in an AWS CodeCommit repository.
Autorisation requise pour modifier la description d'une demande d'extraction dans un référentiel AWS CodeCommit.Required to change the status of a pull request in an AWS CodeCommit repository.
Autorisation requise pour modifier le statut d'une demande d'extraction dans un référentiel AWS CodeCommit.Required to change the title of a pull request in an AWS CodeCommit repository.
Autorisation requise pour modifier le titre d'une demande d'extraction dans un référentiel AWS CodeCommit.If you specify a pull request ID, it must use the format pr/ pull-request-ID for example, pr/25.
Si vous spécifiez un ID de demande d'extraction, il doit utiliser le format pr/ pull-request-ID par exemple, pr/25.including pull request branches, by using the git merge command in your local repo
y compris les branches de demande d'extraction, en utilisant la commande git merge dans le référentiel localHer changes are incorporated into the pull request every time she pushes them to that branch in AWS CodeCommit.
Ses modifications sont intégrées dans la demande d'extraction chaque fois qu'elle les transmet à cette branche Use the AWS CodeCommit console to either close the pull request without merging or, if there are no conflicts,
