Personal commonly used git commands, including proxy settings, viewing and canceling proxy operations.
