How can i rename / delete files in git repository?

I created a git repository projecteuler-solutions and then i wanted to remove the word Euler from the file names so i renamed the files to just numbers and added the renamed files using an add command and then commited and pushed the changes , but even though in the status the file names with a euler prefix were ma开发者_C百科rked as D they didn't get deleted , how can i delete those files now and what is the usual flow to rename the files ?

Removal: git rm
Renaming: git mv

You can delete those files by using git rm:

git rm euler10.py

Normally you would use git mv to rename/move files:

git mv oldfilename newfilename

Go ahead and rename in whatever way you are used to in your file system. Now you need to add all the changes. your rename is seen as a delete and an add.

git add -A

will be shown as a move. You can see this by running

git status

This workflow will allow you to not worry about git commands and concentrate on your work.

hope this helps.