Robuta

https://manpages.ubuntu.com/manpages/resolute/man1/git-annex-updateproxy.1.html Ubuntu Manpage: git-annex-updateproxy - update records with proxy configuration update records with proxy configuration update recordsubuntumanpagegitannex