Merge shelf_proxy into shelf repository
tree: 826c485eb77da57343762347025eec52f4874c05
  1. .github/
  2. pkgs/
  3. .gitignore