Patent 10719388 was granted and assigned to GitHub on July, 2020 by the United States Patent and Trademark Office.