On: Moving and renaming files on GitHub

[buttscicles]

Alternatively use this feature and squash them later when you have access to a terminal.

[mineo → buttscicles]

In that case you'd need to either force the next push because squashing rewrites history or use a separate branch to do the renames in the first place.