Skip to content

Instantly share code, notes, and snippets.

View HenzelMoras's full-sized avatar
:octocat:
more of a dreamer than a programmer

Henzel Moras HenzelMoras

:octocat:
more of a dreamer than a programmer
15 followers · 94 following
View GitHub Profile
@myusuf3
myusuf3 / delete_git_submodule.md
Created November 3, 2014 17:36
How effectively delete a git submodule.

To remove a submodule you need to:

  • Delete the relevant section from the .gitmodules file.
  • Stage the .gitmodules changes git add .gitmodules
  • Delete the relevant section from .git/config.
  • Run git rm --cached path_to_submodule (no trailing slash).
  • Run rm -rf .git/modules/path_to_submodule (no trailing slash).
  • Commit git commit -m "Removed submodule "
  • Delete the now untracked submodule files rm -rf path_to_submodule
@Jaza
Jaza / Private-pypi-howto
Last active July 2, 2023 16:24
Guide for how to create a (minimal) private PyPI repo, just using Apache with directory autoindex, and pip with an extra index URL.
*
@joicemjoseph
joicemjoseph / open_tools.md
Last active June 5, 2024 12:24