• Cruxil 🇦🇺
    link
    fedilink
    English
    arrow-up
    2
    ·
    3 months ago

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