Rename GitHub repository
Formatting