WIP: merge divergent branches: main and git-protcol-v2 PR#615

Open

rand00 wants to merge 16 commits intomirage:mainfrom

rand00:20230424_git-protcol-v2-pr_by-ulugbekna_-_merge_with_main

Commits on May 11, 2023

Fixed a set of inconsistent interfaces after merge
rand00
committed

Commits on May 12, 2023

Mixed fixes to make compile again; including readding PRs HTTP functor-param to Smart_git.Make
rand00
committed

Commits on May 14, 2023

Added HTTP arg to Smart_git.Make instantiations - missing right HTTP signature in test/smart/test.ml
rand00
committed

Commits on May 31, 2023

not-so-smart/Smart_git: Made compile by removing HTTP functor-arg and out-commenting dependent code
rand00
committed