treewide: remove git-and-tools directory
We do not use a "plugin system" for Git addons anymore, and therefore this directory is no longer useful. Indeed that directory is way more confusing, given that it includes more than mere Git addons, going from Bitbucket server command-line tools to complete rewrites of Git in exotic programming languages. Also, without this directory, the mental load of decision-making reduces a lot. When anyone is interested in including a new git-related tool, just put it into pkgs/applications/version-management, without apologies.
This commit is contained in:
parent
b10a520017
commit
d994dabace
147 changed files with 131 additions and 131 deletions
Some files were not shown because too many files have changed in this diff Show more
Loading…
Reference in a new issue