[gnulinux]

Pull is also correct. Somehow merge is a little more popular but pull is certainly correct too. Remember the word "Pull Request".