update GitHub repository URL since migration