• Cruxil 🇦🇺
    link
    fedilink
    English
    arrow-up
    2
    ·
    4 hours ago

    git push origin HEAD is a slightly shorter way of doing the same thing, even though you have an alias anyway lol