J'ai créé une demande d'extraction sur un projet sur github vers une branche distante spécifique. Après un certain temps, la branche distante a été supprimée. Comment puis-je changer la demande d'extraction pour pointer vers une autre branche (le maître dans ce cas)?
Merci!
Bien que les sans-papiers, vous pouvez le faire en utilisant le GitHub API REST.
L'utilisation de l'API est expliqué dans cette réponse, mais, fondamentalement, vous pouvez émettre un REPOS requête comme ceci:
$ curl --user "tom" \
--request PATCH \
--data '{"issue": "15", "head": "tom:new-branch", "base": "master"}' \
https://api.github.com/repos/fred/fabproj/pulls
Cela va changer la pull request incarné par le numéro 15 sur l' fred/fabproj des pensions de l'utilisation de la new-branch branche sur l' tom/fabproj de la fourche.
Edit: Remarque: selon les commentaires, le ci-dessus est seulement pour la fixation d'un nouveau pull request à un problème existant.
vous êtes supposé utiliser github de l'api.
curl --user "your_github_username" \
--request PATCH \
--data '{"title":"newtitle","body":"newbody",...}' \
https://api.github.com/repos/:owner/:repo/pulls/:number
vous pouvez trouver la liste détaillée des données dans github développeur doc
curl --user "jeremyclement" \
--request PATCH \
--data '{"title":"allows the control of files and folders permissions."}' \
https://api.github.com/repos/Gregwar/Cache/pulls/9
il semble que les champs head/label et head/ref ne sont pas modifiables. Pour l'instant, la seule solution semble être celui de l'Ambre
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.
