About this question
I have deleted some files and git status shows as below.
I have committed and pushed.GitHub still shows the deleted files in the repository. How can I delete files in the GitHub repository?
# On branch master
# Changes not staged for commit:
# (use "git add/rm..." to update what will be committed) # (use "git checkout --..." to discard changes in working directory) #
# deleted: modules/welcome/language/english/kaimonokago_lang.php
# deleted: modules/welcome/language/french/kaimonokago_lang.php
# deleted: modules/welcome/language/german/kaimonokago_lang.php
# deleted: modules/welcome/language/norwegian/kaimonokago_lang.php
If I use git rm, it gives the following.
usage: git rm [options] [--]... -n, --dry-run dry run
-q, --quiet do not list removed files
--cached only remove from the index
-f, --force override the up-to-date check
-r allow recursive removal--ignore-unmatch exit with a zero status even if nothing matched
