In our lab, we need to get access the repository by http because of the firewall. I tried to push my commit through http. It didn't say anything wrong. But I cannot see my change on gerrit. I am wondering if http really works. Does it?