Easily copy labels from one GitHub repository to another