Some time ago I wrote the blog “Remove directories and files permanently from git”. Removing files from a git history is not an unusual task and I thought that it would be nice if there is an easier and faster way to do it. I thought that there should be a gui that help you to find […]
When multiple developers work on one project it is also essential that they all commit source code that matches some formatting rules. Otherwise reviewing changes and merging source code can be a great challenge.
When using git repositories you can install hooks. Hooks are any kind of executables that can be run before something happens […]
Some day you might want to remove files or directories from git permanently, because someone committed sensitive data or large binary files that should not reside in the repository to keep clone times short. In this blog I want to show you how to delete directories and files permanently from a git repository.
The first chapter […]
