Report question

Question: How do I pull from a Git repository through an HTTP proxy?