Patents by Inventor Michael R. Haggerty

Michael R. Haggerty has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Distributed code repository with limited synchronization locking
    Patent number: 10114833
    Abstract: A system for a distributed repository includes an input interface and a processor. The input interface is to receive a request to change a portion of code. The processor is to determine a change reference and an existing reference, indicate to lock one or more repositories, determine whether swapping references is approved by a vote, and in the event that swapping references is approved by a vote, swap the references and indicate to unlock the one or more repositories.
    Type: Grant
    Filed: April 19, 2018
    Date of Patent: October 30, 2018
    Assignee: GitHub, Inc.
    Inventors: Patrick Reynolds, Michael R. Haggerty, Jeffrey King
  • DISTRIBUTED CODE REPOSITORY WITH LIMITED SYNCHRONIZATION LOCKING
    Publication number: 20180246904
    Abstract: A system for a distributed repository includes an input interface and a processor. The input interface is to receive a request to change a portion of code. The processor is to determine a change reference and an existing reference, indicate to lock one or more repositories, determine whether swapping references is approved by a vote, and in the event that swapping references is approved by a vote, swap the references and indicate to unlock the one or more repositories.
    Type: Application
    Filed: April 19, 2018
    Publication date: August 30, 2018
    Inventors: Patrick Reynolds, Michael R. Haggerty, Jeffrey King
  • Distributed code repository with limited synchronization locking
    Patent number: 9977786
    Abstract: A system for a distributed repository includes an input interface and a processor. The input interface is to receive a request to change a portion of code. The processor is to determine a change reference and an existing reference, indicate to lock one or more repositories, determine whether swapping references is approved by a vote, and in the event that swapping references is approved by a vote, swap the references and indicate to unlock the one or more repositories.
    Type: Grant
    Filed: December 23, 2015
    Date of Patent: May 22, 2018
    Assignee: GitHub, Inc.
    Inventors: Patrick Reynolds, Michael R. Haggerty, Jeffrey King
  • Distributed code repository with limited synchronization locking
    Publication number: 20170185627
    Abstract: A system for a distributed repository includes an input interface and a processor. The input interface is to receive a request to change a portion of code. The processor is to determine a change reference and an existing reference, indicate to lock one or more repositories, determine whether swapping references is approved by a vote, and in the event that swapping references is approved by a vote, swap the references and indicate to unlock the one or more repositories.
    Type: Application
    Filed: December 23, 2015
    Publication date: June 29, 2017
    Inventors: Patrick Reynolds, Michael R. Haggerty, Jeffrey King