81 votes

Comment sélectionner/commenter une plage de lignes dans une pull request github ?

Il existe une option permettant de commenter une série de lignes dans le fichier sur github, cf. Comment faire référence à une ligne spécifique ou à une série de lignes dans github ?

Mais existe-t-il une option similaire pour commenter une série de lignes dans une demande de retrait ? enter image description here

Lorsque je clique sur une ligne, seule une ligne est surlignée en jaune et R### (par exemple R446) est ajouté à l'url, cliquer sur une autre ligne en appuyant sur shift ne fait rien. J'ai essayé de changer l'url en R446-450 mais cela n'a rien donné. Le changer en #L450-458 n'a rien fait non plus. De plus, même cette seule ligne mise en évidence ne semble pas avoir d'effet.

En cliquant sur le plus bleu qui apparaît au survol, on crée une fenêtre de commentaire, mais elle ne commente qu'une seule ligne.

En commentant une seule ligne, on obtient ceci enter image description here

Le commentaire sur la page de demande de tirage n'affiche que 4 lignes au-dessus de la ligne sélectionnée/commentée, mais je souhaite afficher 7 lignes et non 4.

68voto

VonC Points 414372

Depuis Oct. 2019, Nat Friedman (PDG de GitHub) déclare cette fonctionnalité disponible
(Et, voir ci-dessous, depuis février 2020, la référence à des commentaires multilignes est possible)

Les commentaires multi-lignes sont là !
Cliquez et faites glisser pour commenter plusieurs lignes dans un diff de demande de tirage.

Ces petites améliorations de la qualité de vie sont au cœur de ce que nous aimons faire chez GitHub.

Multi-line PR comment selection

Merci à :


Nick Craver demande immédiatement :

Question de suivi : est-il prévu de soutenir les suggestions ?
Il semble s'appliquer à la dernière ligne pour le moment :

multi-line suggestion?

Ce serait, selon Nat, "à venir au début de l'année prochaine".

Mise à jour fév. 2020 : " Une nouvelle interaction pour les commentaires de demande de pull à plusieurs lignes "

Pour laisser un commentaire faisant référence à plusieurs lignes vous pouvez soit :

  • cliquez sur un numéro de ligne dans la vue diff, maintenez la touche Maj, cliquez sur un deuxième numéro de ligne et cliquez sur le bouton "+" à côté du deuxième numéro de ligne ; ou
  • cliquez et maintenez le bouton à droite d'un numéro de ligne, faites glisser puis relâchez la souris lorsque vous avez atteint la ligne souhaitée.

C'était annoncé par Nat Friedman

Livraison aujourd'hui sur GitHub : suggestions multi-lignes !

multi-lines example

Avec, encore, remerciements particuliers a Melanie Gilman , Pat Nakajima , Mike Chlipala , Joel Califa , John Caine , Matt Colyer et , et Kelly Arwine .

Changelog de GitHub y fait également référence.


Henry ajoute une observation

Un petit effet secondaire, mais je suppose que le fait de pouvoir partager une différence de plusieurs lignes dans le PR est également nouveau !

Exemple : babel/babel PR 10511 diff-L261-L263

Share multi line

Mais c'était disponible depuis juillet 2019

0 votes

@YaoLi Il est possible que cette fonctionnalité n'ait pas encore été propagée au produit GitHub sur site, et qu'elle ne soit encore disponible que sur le site Web public.

0 votes

J'aime tellement cette mise en valeur !

0 votes

Y a-t-il un moyen de faire cela sur un mobile ? Chrome sur Android ne semble pas disposer de la fonction "cliquer et faire glisser".

26voto

Stefan Bols Points 345

Il n'est pas possible de commenter plusieurs lignes dans une demande de révision sur GitHub. J'espère qu'ils créeront une nouvelle fonctionnalité permettant de le faire.

Mais ce que vous pouvez faire, c'est une petite solution de rechange (qui prend du temps) :

Si vous allez dans le code, dans la branche avec les changements, vous pouvez sélectionner plusieurs lignes et ensuite copier un permalien pour ces lignes. Lorsque vous collez ce lien dans votre commentaire de révision, il sera affiché comme un extrait de code.

Pour en savoir plus, lisez ceci : https://help.github.com/articles/creating-a-permanent-link-to-a-code-snippet/

Mise à jour Github a publié une nouvelle fonctionnalité qui permet de le faire. Voir la réponse de VonC :-)

3 votes

J'ai posté une demande de fonctionnalité à ce sujet sur les forums GitHub : github.community/t5/How-to-use-Git-and-GitHub/

2voto

Pour référencer plusieurs lignes, cliquez sur un numéro de ligne dans la vue diff, maintenez shift, et cliquez sur un deuxième numéro de ligne. L'URL de la page est mise à jour et peut être partagée avec les autres contributeurs.

Pour laisser un commentaire faisant référence à plusieurs lignes, cliquez et maintenez à droite d'un numéro de ligne, faites glisser, puis relâchez la souris lorsque vous avez atteint la ligne souhaitée.

0 votes

Sur GitHub.com, je vois que "maintenir la touche shift et cliquer sur un deuxième numéro de ligne" produit une URL du genre ...R22-R33 - utile, merci. Des informations sur la version de GitHub Enterprise dans laquelle cette fonctionnalité sera disponible ?

0 votes

El ...R##-R## la syntaxe fonctionne pour mettre en évidence une série de lignes, dans GitHub Enterprise 2.19.4

1voto

Franck Abgrall Points 96

La fonction de commentaire multiligne est désormais disponible sur GitHub. Profitez-en !

1voto

Niraj Trivedi Points 452

Les commentaires multi-lignes sont arrivés ! Git a introduit aujourd'hui une nouvelle fonctionnalité pour les commentaires multi-lignes.

En cliquant sur + puis faites-le glisser vers plusieurs lignes

https://twitter.com/github/status/1179101186437324801

Prograide.com

Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.

Powered by:

X