What should I do if I want to capitalize filename on GitHub?

The default setting for Github is case insensitive. Therefore, even if we change the filename locally and push, it will not change anything. If we accidentally push small letter filename on Github and want to change it, what should we do? First. Dis...