Github, Inc.

Jeffrey King

Patrick Reynolds

Michael Richard Haggerty

Jesse Toth

Ryan Tomayko

A system for efficient repository migration and storage includes an interface and a processor to migrate a repository from a standard repository system in which a standard repository data is replicated in multiple repositories to an efficient repository system in which related repositories are grouped together as a network of repositories and an efficient repository data is stored in a shared network repository.

Efficient repository migration and storage

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.

Growing community of inventors

Charlottesville, VA, United States of America

Jeffrey King