Use Git Push Origin Head to Quickly Push the Checked Out Branch | Hacker News Reader