Apakah yang dimaksud dengan pull request di GitHub atau di Git Lab? Manfaat apa yang dapat diperoleh dengan adanya mekanisme ini?

Pull request adalah ketika Anda menginformasikan user bahwa Anda sudah memindahkan perubahan yang Anda lakukan di branch ke master repositori. Collaborator repositori akan menerima atau menolak pull request. Segera setelah pull request diterima, Anda bisa mendiskusikan dan mengulas proyek bersama dengan collaborator.

GitHub adalah sebuah website dan layanan berbasis cloud bagi para developer untuk menyimpan dan mengelola kode, serta mendokumentasikan dan mengontrol perubahannya.

Selain itu, GitHub juga merupakan salah satu storehouse online terbesar di dunia untuk pekerjaan kolaborasi.