Cannot do basic make actions like "make doc"

[prudent-gas]

I am able to clone any repo's from the PULP github. However bender does not seem to work. When I do "make doc" from the iDMA repo, I got the following error. I am behind a company firewall. Has to use "git config http.sslVerify false" to clone the PULP repo from github. The commits in the error messages are all available in the git repo if I "git clone" the repo

==================== Errors ===================
Checkout register_interface (https://github.com/pulp-platform/register_interface.git)
warning: Please ensure the commits are available on the remote or run bender update
error: Failed to checkout commit e25b36670ff7aab3402f40efcc2b11ee0f31cf19 for register_interface given in Bender.lock.
Git command (Command { std: cd "work/pulp/iDMA/.bender/git/db/register_interface-e986c31a854fb554" && "git" "tag" "bender-tmp-e25b36670ff7aab3402f40efcc2b11ee0f31cf19" "e25b36670ff7aab3402f40efcc2b11ee0f31cf19" "--force" "--no-sign", kill_on_drop: false }) in directory "work/pulp/iDMA/.bender/git/db/register_interface-e986c31a854fb554" failed with exit code 128: