An easy way to copy labels from one GitHub repository to another