Merge git-tools repository under "tools" subdirectory