4 Commits

Author	SHA1	Message	Date
Mario Rodas	2becf6e837	maintainers: drop marsam	2024-04-24 04:20:00 +00:00
h7x4	41974d5ed9	treewide: add mainProgram	2023-11-27 02:17:53 +01:00
Aaron Jheng	7735659333	treewide: use sri hash (#256481)	2023-09-21 16:23:40 +02:00
AndersonTorres	d994dabace	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.	2022-12-19 15:05:22 -03:00