PR-beiðni

e. pull request

Einnig kallað: pull request, pull requests, PR

Beiðni um að breytingar úr einni grein kóða verði sameinaðar í aðra, venjulega eftir yfirferð annarra.

PR-beiðni, á ensku pull request, er leið í Git-vettvöngum eins og GitHub til að leggja fram breytingar á kóða til yfirferðar og samþykktar áður en þær fara í aðalgrein verkefnisins. Hún sýnir hvað breytist, gerir kleift að gera athugasemdir og keyrir oft sjálfvirk próf.

Erindrekar skila oft vinnu sinni sem PR-beiðni. Það gerir manneskju kleift að fara yfir breytingar áður en þær taka gildi, og er þannig mikilvægur hluti af mannlegri aðkomu í kóðun.

Dæmi úr starfi

Erindreki leggur fram PR-beiðni með lagfæringu og prófum. Forritari les breytingarnar og samþykkir eða biður um breytingar.

Tengd hugtök

Ekkert námsefni er tengt þessu hugtaki enn.

Öll hugtök