Follow

Question : est-ce qu'il est possible de pusher sur la branche associée à la merge request de quelqu'un d'autre ? (quand la MR vient sur un repo que je contrôle)

Github permet de faire ça avec des branches magiques /refs/#{numéro de la PR}, mais j'arrive pas à trouver l'info facilement pour Gitlab...

Show thread

@bnjbvr
Tu veux pusher sur le fork d'une autre personne, c'est ça ? C'est possible, si elle a coché la case qui va bien.

@framasky je sais que c'est possible théoriquement, la question c'est comment ?

@bnjbvr
J'aurais tendance à suivre les instructions de merge en ligne de commande pour choper sa branche, puis je modifie, commit et push

@framasky en re poussant sur la branche de l'auteur de la MR alors ? Hmmm

@framasky hmm si, mais j'ai pas testé ça (et ça me paraissait chelou de pouvoir le faire). Bref, faudrait que j'essaie.

@bnjbvr
Bah, tu peux le faire si le demandeur l'a autorisé, ça me semble correct comme façon de faire :shibathinking:

Sign in to participate in the conversation
TUTUT DELIRE PARTY

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!